axiomatic_proofkit/__init__.py,sha256=NHzQth5fV0VD03dSpeIuNUCMZR7R2ls9xdVmXqG2pLw,386
axiomatic_proofkit/build.py,sha256=MnzwIVdaWkhIB8BEX5fGYsLpeqL58JOebOdY5SLFwpY,2952
axiomatic_proofkit/jcs.py,sha256=nr8i8uIB6CFbAS0xqsqwtQm7DABl6YBMa36hV1vY_pg,1819
axiomatic_proofkit/publish.py,sha256=z7oX2O5fUfGIsab8TcuRfNGun8hCXlH2u9JQ7j6N3Zk,4442
axiomatic_proofkit-0.1.4.dist-info/METADATA,sha256=32TH9FRy2YoPvDpzs4i_vTospKuWjzfCcLMnMh2_8P0,8696
axiomatic_proofkit-0.1.4.dist-info/WHEEL,sha256=_zCd3N1l69ArxyTb8rzEoP9TpbYXkqRFSNOD5OuxnTs,91
axiomatic_proofkit-0.1.4.dist-info/top_level.txt,sha256=j5ZR92a1unYymlu7qvFxENS31repThMe7B8gZYYjSzA,19
axiomatic_proofkit-0.1.4.dist-info/RECORD,,
