maate/tempo-tango

Tempo-tango is a .NET interpreter for Linear Temporal Logic in F#. Tempo-tango talks about time as events in the future and extends normal propositional logic by including a time dimension.

语言：F# · GitHub 星标：4 · Fork：0

话题：linear-temporal-logic · logic · propositional-logic · time-logic

在 GitHub 上查看原仓库