Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
pypi.org "theorem-proving" keyword
lean-dojo 1.8.2
LeanDojo: Machine Learning for Theorem Proving in Lean27 versions - Latest release: about 2 months ago - 2.68 thousand downloads last month - 453 stars on GitHub - 1 maintainer
coq-jupyter 1.6.2
Coq kernel for Jupyter12 versions - Latest release: 4 months ago - 3 dependent repositories - 108 downloads last month - 89 stars on GitHub - 1 maintainer
pytactician 15.1
Python Library for interfacing with Coq and Tactician2 versions - Latest release: 7 months ago - 2 dependent packages - 153 downloads last month - 1 stars on GitHub - 1 maintainer
psitip 1.1.6
Python Symbolic Information Theoretic Inequality Prover2 versions - Latest release: over 1 year ago - 1 dependent repositories - 30 downloads last month - 31 stars on GitHub - 1 maintainer
pomagma 0.2.6
An inference engine for extensional lambda-calculus5 versions - Latest release: over 8 years ago - 2 dependent repositories - 22 downloads last month - 17 stars on GitHub - 1 maintainer
Top 9.2% on pypi.org
26 versions - Latest release: about 2 years ago - 2 dependent repositories - 538 downloads last month - 88 stars on GitHub - 2 maintainers
pyprover 0.6.2 💰
Resolution theorem proving for predicate logic in pure Python.26 versions - Latest release: about 2 years ago - 2 dependent repositories - 538 downloads last month - 88 stars on GitHub - 2 maintainers
tensor-theorem-prover 0.14.0
Customizable first-order logic theorem prover supporting approximate vector similarity in unifica...26 versions - Latest release: over 1 year ago - 364 downloads last month - 7 stars on GitHub - 1 maintainer
Related Keywords
first-order-logic
3
prover
2
machine-learning
2
coq
2
python
2
theorem-prover
2
proving-agent
1
information-theory
1
optimization
1
inference-engine
1
lambda-calculus
1
coconut
1
logic
1
first-order
1
unification
1
reasoning
1
symbolic-logic
1
proof-synthesis
1
coq-plugin
1
python-pa
1
proof-assistant
1
kernel
1
jupyter-notebook
1
jupyter-kernels
1
jupyter-extension
1
jupyter
1
dependent-types
1
lean4
1
lean
1
theorem proving
1
machine learning
1
Lean
1