COMMERCIAL.md
LICENSE
LICENSE_SCOPE.toml
MANIFEST.in
README.md
THIRD_PARTY_NOTICES.md
pyproject.toml
LICENSES/Apache-2.0.txt
LICENSES/LeanCert-Evaluation-1.0.txt
leancert/__init__.py
leancert/_version.py
leancert/adaptive.py
leancert/cli.py
leancert/client.py
leancert/config.py
leancert/doctor.py
leancert/domain.py
leancert/enclosures.py
leancert/exceptions.py
leancert/export.py
leancert/expr.py
leancert/expression_codec.py
leancert/nn.py
leancert/protocol.py
leancert/proving.py
leancert/py.typed
leancert/quantifier.py
leancert/rational.py
leancert/result.py
leancert/simplify.py
leancert/solver.py
leancert/validation.py
leancert/verification.py
leancert.egg-info/PKG-INFO
leancert.egg-info/SOURCES.txt
leancert.egg-info/dependency_links.txt
leancert.egg-info/entry_points.txt
leancert.egg-info/requires.txt
leancert.egg-info/top_level.txt
leancert/ast/__init__.py
leancert/ast/_base.py
leancert/ast/annotations.py
leancert/ast/builders.py
leancert/ast/claims.py
leancert/ast/codec.py
leancert/ast/constants.py
leancert/ast/digest.py
leancert/ast/domains.py
leancert/ast/elaboration.py
leancert/ast/errors.py
leancert/ast/expressions.py
leancert/ast/functions.py
leancert/ast/legacy.py
leancert/ast/normalize.py
leancert/ast/numeric.py
leancert/ast/relations.py
leancert/ast/sorts.py
leancert/ast/symbols.py
leancert/ast/traversal.py
leancert/ast/validation.py
leancert/ast/version.py
leancert/operations/__init__.py
leancert/operations/bounds.py
leancert/operations/enclosures.py
leancert/operations/eventual.py
leancert/operations/integrals.py
leancert/operations/scalar_roots.py
leancert/operations/system_roots.py