Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for theorem proving propositional logic
propositional-logic
x
theorem-proving
x
4 search results found
Language Toolkit 2
⭐
19
A set of tools for analyzing languages via logic and automata
Philomath
⭐
12
MIRROR of https://codeberg.org/catseye/Philomath : An LCF-style theorem prover written in C89 (a.k.a ANSI C)
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
Coq Theorem Proving (25)
Python Theorem Proving (15)
Python Propositional Logic (11)
Haskell Theorem Proving (10)
1-4 of 4 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.