CHECKS.md
LICENSE
MANIFEST.in
README.md
pyproject.toml
examples/one_theorem/README.md
examples/one_theorem/build/lean_spine.json
examples/one_theorem/build/main.lea
examples/one_theorem/build/paper_spine.json
examples/one_theorem/latex/main.tex
examples/one_theorem/lean/One.lean
span/__init__.py
span/__main__.py
span/checks.py
span/cli.py
span/graphviz.py
span/latexrender.py
span/lean_decls.py
span/lean_deps.py
span/lean_parser.py
span/model.py
span/paper_parser.py
span/reconcile.py
span/stats.py
span/vocabulary.py
span_lea.egg-info/PKG-INFO
span_lea.egg-info/SOURCES.txt
span_lea.egg-info/dependency_links.txt
span_lea.egg-info/entry_points.txt
span_lea.egg-info/top_level.txt
tests/test_span.py