Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for formal verification theorem proving
formal-verification
x
theorem-proving
x
6 search results found
Cakeml
⭐
879
CakeML: A Verified Implementation of ML
Acl2
⭐
326
ACL2 System and Books as Maintained by the Community
Awesome Rust Formalized Reasoning
⭐
246
An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.
Athena
⭐
53
Athena is a modern, practical language for proof engineering & natural deduction.
Fm Notes
⭐
19
Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on
Theorems
⭐
8
🌐 Theorems that rule this multiverse
Related Searches
Coq Formal Verification (29)
Coq Theorem Proving (25)
1-6 of 6 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.