Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 15 Logic Proof Assistant Open Source Projects

Open source projects categorized as Logic Proof Assistant
Categories > Programming Languages > Proof Assistant
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 4 months ago
Latte ⭐ 245
LaTTe : a Laboratory for Type Theory experiments (in clojure)
total releases 14most recent commit 5 months ago
Athena ⭐ 53
Athena is a modern, practical language for proof engineering & natural deduction.
most recent commit 10 months ago
Vulcan ⭐ 51
A JavaScript propositional logic and resolution library
dependent packages 2total releases 12most recent commit 7 years agonpm vulcan} Downloads
Miniprl ⭐ 48
A small implementation of a proof refinement logic.
most recent commit 7 years ago
Nunchaku ⭐ 41
Model finder for higher-order logic
most recent commit 5 months ago
Peppermint Prover ⭐ 35
Experimental proof assistant (and architecture) for dependent linear logic
total releases 1most recent commit 3 years ago
Fitchjs ⭐ 24
Fitch style proof constructor
most recent commit a year ago
Nadia ⭐ 18
Natural Deduction Proof Assistant (NADIA) is a tool for teaching Natural Deduction in Fitch-Style
total releases 10most recent commit 5 months ago
Anita ⭐ 16
Analytic Tableau Proof Assistant (ANITA) is a tool for teaching Analytic Tableaux
most recent commit 6 months ago
Oratio ⭐ 8
Translate natural deduction proofs into natural language.
most recent commit 3 years ago
Lk Proof Assistant ⭐ 7
Simple Proof assistant for LK Calculus (First-Order logic)
most recent commit 11 years ago
Math O Matic ⭐ 6
Computerized proof system on the web
most recent commit 8 months ago
Isabelle Spartan ⭐ 6
A dependent type theory logic for Isabelle
most recent commit 3 years ago
Proof Assistant ⭐ 5
Online platform to enable Logic students to write, verify, and store System L style Natural Deduction proofs with real-time proof-checking
most recent commit 6 years ago
The 4 Latest Releases In Logic Proof Assistant Open Source Projects
Nadia ⭐ 18
Natural Deduction Proof Assistant (NADIA) is a tool for teaching Natural Deduction in Fitch-Style
total releases 10latest release August 13, 2023most recent commit 5 months ago
Peppermint Prover ⭐ 35
Experimental proof assistant (and architecture) for dependent linear logic
total releases 1latest release October 11, 2018most recent commit 3 years ago
Latte ⭐ 245
LaTTe : a Laboratory for Type Theory experiments (in clojure)
total releases 14latest release January 16, 2018most recent commit 5 months ago
Vulcan ⭐ 51
A JavaScript propositional logic and resolution library
dependent packages 2total releases 12latest release June 27, 2016most recent commit 7 years agonpm vulcan} Downloads
Popular Learning Resources Categories
Tutorials
Paper
Book
Programming
Course
Article
Education
Hack
University
Cookbook
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.