Awesome Open Source

Programming Languages

Search results for python theorem proving

theorem-proving x

14 search results found

Leandojo ⭐ 397

Tool for data extraction and interacting with Lean programmatically.

Reprover ⭐ 136

Retrieval-Augmented Theorem Provers for Lean

Coq_jupyter ⭐ 89

Jupyter kernel for Coq

Pyprover ⭐ 79

Resolution theorem proving for predicate logic in pure Python.

A Learning Environment for Theorem Proving

llmstep: [L]LM proofstep suggestions in Lean 4.

A heuristic procedure for proving inequalities

Formulanet ⭐ 19

Code for FormulaNet in NIPS 2017

Python Symbolic Information Theoretic Inequality Prover

Maps Coloring Python ⭐ 8

Four color theorem, Guthrie, Kempe, Tait and other people and stuff

Pytableaux ⭐ 8

multi-logic proof generator

An environment for learning formal mathematical reasoning from scratch

Chainer Formulanet ⭐ 6

Chainer implementation of FormulaNet

Experiments with neural networks learning theorem proving and complex recursion-heavy algorithms

Related Searches

Python Django (28,897)

Python Machine Learning (20,195)

Python Deep Learning (17,868)

Python Flask (17,643)

Python Dataset (14,792)

Python Docker (14,028)

Python Tensorflow (13,736)

Python Command Line (13,351)

Python Jupyter Notebook (12,976)

Python Network (11,495)

1-14 of 14 search results

Privacy | About | Terms | Follow Us On Twitter

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