Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 11 Logic Theorem Proving Open Source Projects

Open source projects categorized as Logic Theorem Proving
Categories > Mathematics > Theorem Proving
Acl2 ⭐ 326
ACL2 System and Books as Maintained by the Community
most recent commit 3 months ago
Awesome Rust Formalized Reasoning ⭐ 246
An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.
most recent commit 3 months ago
Langpro ⭐ 97
Tableau-based Theorem Prover for Natural Logic and Language
most recent commit a year ago
Athena ⭐ 53
Athena is a modern, practical language for proof engineering & natural deduction.
most recent commit 10 months ago
Leo Iii ⭐ 35
An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
most recent commit 4 months ago
Linearlogic ⭐ 11
A simple development of linear logic in Coq.
most recent commit 2 years ago
Zsyntax ⭐ 10
Automated theorem prover for a linear logic-based calculus for molecular biology.
total releases 1most recent commit 10 months ago
Pytableaux ⭐ 8
multi-logic proof generator
most recent commit 7 months ago
Agda Prop ⭐ 7
A Library for Classical Propositional Logic in Agda
most recent commit 4 years ago
Math O Matic ⭐ 6
Computerized proof system on the web
most recent commit 7 months ago
Atp ⭐ 5
Haskell interface to automated theorem provers
most recent commit 2 years ago
The 2 Latest Releases In Logic Theorem Proving Open Source Projects
Atp ⭐ 5
Haskell interface to automated theorem provers
latest release January 27, 2021most recent commit 2 years ago
Zsyntax ⭐ 10
Automated theorem prover for a linear logic-based calculus for molecular biology.
total releases 1latest release December 15, 2018most recent commit 10 months ago
Popular Learning Resources Categories
Tutorials
Paper
Book
Programming
Course
Article
Education
Hack
Cookbook
University
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.