Navigation
Projects
Signed in as: AnonymousUser
Settings
Log out
Help
Support
Docs
Getting started
Status
Sign up
Log in
pythogic
EN
first-order-logic
formal-languages
formal-logic
formal-methods
ldlf
linear-temporal-logic
logic
logic-formalisms
ltl
ltlf
propositional-logic
Maintainers
Repository
https://github.com/MarcoFavorito/pythogic
Versions
2
Builds
43
Version stable
/
Builds
/
#6779603
Started
Duration
Tag
stable
(
822223be77da7f88d46459a73496d17a7ed75783
)
Output
Raw log
Debug
Wrap output
View docs
There was an error with this build
Loading
