Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 14 Python Theorem Proving Open Source Projects

Open source projects categorized as Python Theorem Proving
Categories > Mathematics > Theorem Proving
Leandojo ⭐ 397
Tool for data extraction and interacting with Lean programmatically.
most recent commit 3 months ago
Reprover ⭐ 136
Retrieval-Augmented Theorem Provers for Lean
most recent commit 3 months ago
Coq_jupyter ⭐ 89
Jupyter kernel for Coq
total releases 10most recent commit 3 months ago
Pyprover ⭐ 79
Resolution theorem proving for predicate logic in pure Python.
total releases 26most recent commit 5 months ago
Gamepad ⭐ 58
A Learning Environment for Theorem Proving
most recent commit 4 years ago
Llmstep ⭐ 58
llmstep: [L]LM proofstep suggestions in Lean 4.
most recent commit 5 months ago
Polya ⭐ 23
A heuristic procedure for proving inequalities
most recent commit 6 years ago
Formulanet ⭐ 19
Code for FormulaNet in NIPS 2017
most recent commit 6 years ago
Psitip ⭐ 12
Python Symbolic Information Theoretic Inequality Prover
total releases 2most recent commit 2 years ago
Maps Coloring Python ⭐ 8
Four color theorem, Guthrie, Kempe, Tait and other people and stuff
most recent commit 2 years ago
Pytableaux ⭐ 8
multi-logic proof generator
most recent commit 7 months ago
Peano ⭐ 7
An environment for learning formal mathematical reasoning from scratch
most recent commit a year ago
Chainer Formulanet ⭐ 6
Chainer implementation of FormulaNet
most recent commit 4 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 Python Theorem Proving Open Source Projects
Psitip ⭐ 12
Python Symbolic Information Theoretic Inequality Prover
total releases 2latest release September 20, 2022most recent commit 2 years ago
Pyprover ⭐ 79
Resolution theorem proving for predicate logic in pure Python.
total releases 26latest release March 02, 2022most recent commit 5 months ago
Coq_jupyter ⭐ 89
Jupyter kernel for Coq
total releases 10latest release January 28, 2022most recent commit 3 months ago
Popular Programming Languages Categories
Python
Javascript
Java
Typescript
C Plus Plus
Php
Golang
C
C Sharp
Shell
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.