PyPI page
Home page
Author:
Franco Fantomius
License:
Creative Commons Attribution-NonCommercial 4.0 International Public License
By exercising the Licensed Rights (defined below), You accept and agree to be bound by the terms and condit...
Summary:
A formal logic theorem prover, explorer, deducer, and LEAN exporter in Python.
Latest version:
0.2.0
Required dependencies:
lark
|
tomli
Optional dependencies:
build
|
cython
|
jinja2
|
mypy
|
pytest
|
pytest-cov
|
ruff
|
twine
Downloads last day:
3
Downloads last week:
100
Downloads last month:
176
7-day smoothing