Details werden geladen...
open-atp · PyPI
Open Automated Theorem Proving: upload Lean files with sorrys, get verified completed proofs across multiple proving backends.
Ähnliche Seiten
rink · PyPI
https://pypi.org/project/rink/bibirags · PyPI
https://pypi.org/project/bibirags/shaapi · PyPI
https://pypi.org/project/shaapi/goodoc · PyPI
https://pypi.org/project/goodoc/cut-fx · PyPI
https://pypi.org/project/cut-fx/