span/__init__.py,sha256=BXVcvPCJ_N0ESkxfvVrQP93elHTW6TXbqHDQdAYwhuE,2745
span/__main__.py,sha256=4JMK66Wj4uLZTKbF-sT3LAxOsr6buig77PmOkJCRRxw,83
span/checks.py,sha256=nw2Cu4o_NOSQDzid6p3RG2IA_ty6cXtKx9nw_4jETEo,10791
span/cli.py,sha256=sbR65d571YArAJkKXtIiKbUSHYz4jSh2sG9hZ8yMVPs,33228
span/graphviz.py,sha256=TMn7cs96RqqYr-pDqP1PDDP5Z88Dl9e8KTlEsJvvQFI,14761
span/latexrender.py,sha256=HK9eSrmR6sK7FQ5XCFKLUp_RSLYnRjPUha_LyeW1RVY,3828
span/lean_decls.py,sha256=yizSPfukXxjgtoEXkdJnPFbKiwkavAqMQcPwGAqukec,5897
span/lean_deps.py,sha256=gq_2oJ3SLvscTZuh6lFWTd3AKXskEAsupUcNKOH6x04,13340
span/lean_parser.py,sha256=0_RAfDmEGm4brEPvSoEA0r_hQHjKfuvPOou3nUbgIK4,7757
span/model.py,sha256=VQY0zAkK5LIyQlgixkKO5c0NFIPq4ACmURPHcw_VEtE,6738
span/paper_graph.py,sha256=Il0_JAMJVVIcJi3zEweLzjhXgflTjvNLSZeFNUnThBA,21445
span/paper_parser.py,sha256=q_PiGAUIFueCxqOLh96kpaXy5Rj0pLV4jURzOmcxNw8,3965
span/reconcile.py,sha256=722-FlPMOktQOKTBTk0PsZsJZhHOASK8uCn55hqAx34,11437
span/stats.py,sha256=DQDDk_thZetWHd58A-ro64Z2U4VDXeh8bDpqLkumzQ8,3613
span/vocabulary.py,sha256=NIXxpIQEpXIKZr0tOGctbH5p66N5QYxMrAC_Ir934I4,3178
span_lea-0.2.0.dist-info/licenses/LICENSE,sha256=X1HBMmFkDU7dp791lShM67MZz3Gn7neTZ1ArnCDfO_0,9156
span_lea-0.2.0.dist-info/METADATA,sha256=bkjj2hufkWD9W6JrbdEQjmB1JmFnOml236upRpOWctA,14975
span_lea-0.2.0.dist-info/WHEEL,sha256=aeYiig01lYGDzBgS8HxWXOg3uV61G9ijOsup-k9o1sk,91
span_lea-0.2.0.dist-info/entry_points.txt,sha256=t3eQYEHkJkZGY_jB44s_Q7DjTffoqpuVrX7IOUMeHAY,39
span_lea-0.2.0.dist-info/top_level.txt,sha256=z3p8IHapiZ3RpzKVBPc8bca7uv6nYudrTgFvnAJz7NU,5
span_lea-0.2.0.dist-info/RECORD,,
