Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for programming language theorem proving
programming-language
x
theorem-proving
x
3 search results found
Fstar
⭐
2,522
A Proof-oriented Programming Language
Lean3
⭐
2,138
Lean Theorem Prover
Cakeml
⭐
879
CakeML: A Verified Implementation of ML
Related Searches
C Plus Plus Programming Language (830)
Python Programming Language (779)
C Programming Language (667)
Javascript Programming Language (590)
Java Programming Language (544)
Rust Programming Language (371)
Ocaml Programming Language (91)
Mathematics Programming Language (57)
Editor Programming Language (45)
Programming Language Fsharp (43)
1-3 of 3 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.