Atp
Haskell interface to automated theorem provers
| Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
|---|---|---|---|---|---|---|---|---|---|---|
| Acl2 | 326 | 3 months ago | 106 | other | Common Lisp | |||||
| ACL2 System and Books as Maintained by the Community | ||||||||||
| Fm Notes | 19 | a year ago | 2 | other | Coq | |||||
| Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on | ||||||||||
| Lean Crypto Formalization | 6 | 3 months ago | apache-2.0 | Lean | ||||||
| Library for formalizing cryptography proofs in Lean | ||||||||||
| Atp | 5 | 2 years ago | January 27, 2021 | gpl-3.0 | Haskell | |||||
| Haskell interface to automated theorem provers | ||||||||||
Alternatives To AtpSelect To Compare
Alternative Project Comparisons
Popular Theorem Proving Projects
Popular Formal Methods Projects
Popular Mathematics Categories
Related Searches
Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Haskell
Formal Methods
Theorem Proving