Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for theorem proving proof checking
proof-checking
x
theorem-proving
x
2 search results found
Philomath
⭐
12
MIRROR of https://codeberg.org/catseye/Philomath : An LCF-style theorem prover written in C89 (a.k.a ANSI C)
Lcf Style Nd
⭐
5
Exposition of an LCF-style theorem prover for propositional logic in a Natural Deduction system
Related Searches
Coq Theorem Proving (25)
Theorem Proving Propositional Logic (6)
Rust Theorem Proving (6)
Theorem Proving Natural Deduction (4)
Natural Deduction Proof Checking (4)
Theorem Proving Proof Checker (4)
Propositional Logic Proof Checking (3)
1-2 of 2 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.