Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for theorem prover natural deduction
natural-deduction
x
theorem-prover
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
First Order Logic Theorem Prover (9)
Dependent Types Theorem Prover (7)
Python Theorem Prover (6)
Proof Assistant Theorem Prover (6)
Haskell Theorem Prover (6)
Prolog Theorem Prover (5)
Propositional Logic Natural Deduction (5)
Type Theory Theorem Prover (5)
Scala Theorem Prover (5)
Language Theorem Prover (5)
1-2 of 2 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.