Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for theorem proving formal mathematics
formal-mathematics
x
theorem-proving
x
1 search results found
Lean Crypto Formalization
⭐
6
Library for formalizing cryptography proofs in Lean
Related Searches
Coq Theorem Proving (25)
Lean Theorem Proving (10)
Formal Methods Theorem Proving (8)
Lean Formal Mathematics (5)
Proof Assistant Formal Mathematics (4)
Theorem Proving Formal Proofs (3)
Theorem Proving Proof Automation (3)
1-1 of 1 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.