PyPI page
Home page
Author:
None
License:
MIT License
Copyright (c) 2025 Anqur
Permission is hereby granted, free of charge, to any person obtaining a copy
of this software and associated documentatio...
Summary:
Tiny theorem prover with syntax like Lean 4
Latest version:
0.7.0
Required dependencies:
pyparsing
Downloads last day:
8
Downloads last week:
21
Downloads last month:
38