Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for theorem proving first order logic
first-order-logic
x
theorem-proving
x
5 search results found
Acl2
⭐
326
ACL2 System and Books as Maintained by the Community
Pyprover
⭐
79
Resolution theorem proving for predicate logic in pure Python.
Linearone
⭐
12
LinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic.
Psitip
⭐
12
Python Symbolic Information Theoretic Inequality Prover
Atp
⭐
5
Haskell interface to automated theorem provers
Related Searches
Coq Theorem Proving (25)
Python First Order Logic (24)
Python Theorem Proving (15)
Haskell Theorem Proving (10)
1-5 of 5 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.