Popularity
4.8
Declining
Activity
0.0
Stable
4
5
1

Monthly Downloads: 5
Programming language: Haskell
License: BSD 3-clause "New" or "Revised" License
Tags: Math     Theorem Provers     Formal Methods     Game     Theoremquest    

theoremquest alternatives and similar packages

Based on the "Formal Methods" category.
Alternatively, view theoremquest alternatives based on common mentions on social networks and blogs.

Do you think we are missing an alternative of theoremquest or a related project?

Add another 'Formal Methods' Package