span/__init__.py,sha256=tMX3WKA7PMli3QTh8db3nVFLrchIK7VZuyPBv2T9WSc,1890
span/__main__.py,sha256=4JMK66Wj4uLZTKbF-sT3LAxOsr6buig77PmOkJCRRxw,83
span/checks.py,sha256=9CgLmJXH71vpoqKXq27ycZTakitvphUQo50o0LODpMs,11578
span/cli.py,sha256=E_XSeBZx2eJrqbtg8Y0Z6TghqjgJAynSO19ZsJNmYU0,25291
span/graphviz.py,sha256=OVFV9u76-8bkP4RhjNAStJtIzwQ9pfUyQOZOYYvxNRA,13530
span/latexrender.py,sha256=Bw_Xpg5c3ormvbAvh4TkVy7Ve9JzdOBjC80JbV4vVt8,3632
span/lean_decls.py,sha256=ee3Z91BEUBUOHaI-D5FqmanYL4oQAyN5Z56T45e31h4,5816
span/lean_deps.py,sha256=btWVQQQ_GZm4fJ4tIeU40EJ0QR-HsAGcnKy4F6RKGpo,9701
span/lean_parser.py,sha256=hr26pWEBxPXFOKexJim6Jgfk0qjN_ia0Ng-7lEbF2GE,11701
span/model.py,sha256=DJHNFMtbEfGteUn1di4z-o-U0rMoaHcquQ2j2IbA_G8,6759
span/paper_parser.py,sha256=Xg-30Pn5vZi0RA1T_wvloXwMY7nx12Y37fs2RE1ULWU,3918
span/reconcile.py,sha256=46KNTX_G-_0L7m1kxKWgC7ajSF5KzdbLfZSXbqLUL6w,11299
span/stats.py,sha256=0F5QBUNXwkM2vM8ld3UWzYowSXbRLfttvMuRQX88LJY,3703
span/vocabulary.py,sha256=jvDyWjz9i3KqpW9fzrnEJScojtruEuTM1h9zYays_iE,3316
span_lea-0.1.0.dist-info/licenses/LICENSE,sha256=X1HBMmFkDU7dp791lShM67MZz3Gn7neTZ1ArnCDfO_0,9156
span_lea-0.1.0.dist-info/METADATA,sha256=073zOHVr-jZxokf91m2TCxKOg49Dw7DMVJbZnRZ1bss,10885
span_lea-0.1.0.dist-info/WHEEL,sha256=aeYiig01lYGDzBgS8HxWXOg3uV61G9ijOsup-k9o1sk,91
span_lea-0.1.0.dist-info/entry_points.txt,sha256=t3eQYEHkJkZGY_jB44s_Q7DjTffoqpuVrX7IOUMeHAY,39
span_lea-0.1.0.dist-info/top_level.txt,sha256=z3p8IHapiZ3RpzKVBPc8bca7uv6nYudrTgFvnAJz7NU,5
span_lea-0.1.0.dist-info/RECORD,,
