Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 18 Proof Theorem Proving Open Source Projects

Open source projects categorized as Proof Theorem Proving
Categories > Frameworks > Proof
Categories > Mathematics > Theorem Proving
Coq ⭐ 4,501
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
dependent packages 1total releases 4most recent commit 3 months ago
Cakeml ⭐ 879
CakeML: A Verified Implementation of ML
most recent commit 3 months ago
Certigrad ⭐ 346
Bug-free machine learning on stochastic computation graphs
most recent commit 5 years ago
Coqgym ⭐ 327
A Learning Environment for Theorem Proving with the Coq proof assistant
most recent commit 10 months ago
Coq Art ⭐ 95
Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]
most recent commit 4 months ago
Gapt ⭐ 82
GAPT: General Architecture for Proof Theory
total releases 2most recent commit 2 years ago
Gamepad ⭐ 58
A Learning Environment for Theorem Proving
most recent commit 4 years ago
Howtoproveacompiler ⭐ 32
Writeup that goes along with this:
most recent commit 6 years ago
Fm Notes ⭐ 19
Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on
most recent commit a year ago
Int ⭐ 19
Official code for paper: INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving
most recent commit a year ago
Trepplein ⭐ 18
Lean type-checker written in Scala.
most recent commit 2 years ago
Howtoprovefullabstraction ⭐ 16
Writeup that goes along with this:
most recent commit 6 years ago
Theorems ⭐ 8
🌐 Theorems that rule this multiverse
most recent commit 6 years ago
Pytableaux ⭐ 8
multi-logic proof generator
most recent commit 7 months ago
Tcoq ⭐ 7
Modification to Coq to record intermediate proof states encountered during a proof
most recent commit 5 years ago
Math O Matic ⭐ 6
Computerized proof system on the web
most recent commit 8 months ago
Atp ⭐ 5
Haskell interface to automated theorem provers
most recent commit 2 years ago
Neuralgs ⭐ 5
Experiments with neural networks learning theorem proving and complex recursion-heavy algorithms
most recent commit 2 years ago
The 3 Latest Releases In Proof Theorem Proving Open Source Projects
Popular Frameworks Categories
Laravel
Django
Ruby On Rails
Spring
Express
Spring Boot
Flask
Nextjs
Play Framework
Symfony
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.