Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for proof assistant theorem prover
proof-assistant
x
theorem-prover
x
5 search results found
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.
Lsts
⭐
96
A proof assistant that is also a programming language.
Anders
⭐
14
🧊 Модальний Гомотопічний Прувер
Qrhl Tool
⭐
14
Proof assistant for qRHL
Anders
⭐
13
Anders: Cubical Type Checker
Bravo
⭐
6
Castle Bravo: Experimental HoTT Implementation
Related Searches
Coq Proof Assistant (30)
Dependent Types Proof Assistant (19)
Ocaml Proof Assistant (19)
Haskell Proof Assistant (18)
Type Theory Proof Assistant (18)
First Order Logic Theorem Prover (9)
Formal Verification Proof Assistant (8)
Dependent Types Theorem Prover (7)
Proof Assistant Theorem Proving (7)
Proof Assistant Cubical Type Theory (7)
1-5 of 5 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.