Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for propositional logic proof checking
proof-checking
x
propositional-logic
x
3 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)
Maxixe
⭐
10
MIRROR of https://codeberg.org/catseye/Maxixe : A simple proof checker
Lcf Style Nd
⭐
5
Exposition of an LCF-style theorem prover for propositional logic in a Natural Deduction system
Related Searches
Python Propositional Logic (11)
Propositional Logic Natural Deduction (7)
Theorem Proving Propositional Logic (6)
C Propositional Logic (5)
Propositional Logic Theorem Prover (5)
Natural Deduction Proof Checking (4)
Propositional Logic Proof Checker (3)
Theorem Proving Proof Checking (3)
1-3 of 3 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.