Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for formal methods theorem proving
formal-methods
x
theorem-proving
x
4 search results found
Acl2
⭐
326
ACL2 System and Books as Maintained by the Community
Fm Notes
⭐
19
Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on
Lean Crypto Formalization
⭐
6
Library for formalizing cryptography proofs in Lean
Atp
⭐
5
Haskell interface to automated theorem provers
Related Searches
Coq Theorem Proving (25)
1-4 of 4 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.