.gitignore
LICENSE
README.md
pyproject.toml
setup.py
src/natural2lean_cli/__init__.py
src/natural2lean_cli/__main__.py
src/natural2lean_cli/file.py
src/natural2lean_cli/interactive.py
src/natural2lean_cli.egg-info/PKG-INFO
src/natural2lean_cli.egg-info/SOURCES.txt
src/natural2lean_cli.egg-info/dependency_links.txt
src/natural2lean_cli.egg-info/entry_points.txt
src/natural2lean_cli.egg-info/requires.txt
src/natural2lean_cli.egg-info/top_level.txt
src/natural2lean_cli/utils/__init__.py
src/natural2lean_cli/utils/progress_indicator.py
src/natural2lean_cli/utils/text.py
tests/easy_testing.py
tests/test_examples.sh
tests/examples/1-m-sqr-even.tex
tests/examples/2-q-sqr-mod-3.tex
tests/examples/3-contrapositive-q-sqr.tex
tests/examples/4-induction-n-cube.tex
tests/examples/different-approaches-m-sqr/direct.tex
tests/examples/different-approaches-m-sqr/induction.tex
tests/examples/different-approaches-n-cube-2n/induction.tex
tests/examples/different-approaches-n-cube-2n/n-mod-3-cases.tex
tests/examples/variations/1-even-to-odd.tex
tests/examples/variations/1-odd-to-even.tex
tests/examples/variations/4-n(n+1)(n+5)-div-3.tex
tests/examples/variations/4-n-sqr+n-even.tex