Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for propositional logic natural deduction
natural-deduction
x
propositional-logic
x
4 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
Agda Prop
⭐
7
A Library for Classical Propositional Logic in Agda
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)
C Propositional Logic (5)
Haskell Propositional Logic (5)
Theorem Proving Natural Deduction (4)
Python Natural Deduction (4)
Proof Assistant Natural Deduction (4)
Theorem Proving Propositional Logic (4)
Natural Deduction Proof Checking (4)
Propositional Logic Theorem Prover (3)
Propositional Logic Proof Checker (3)
1-4 of 4 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.