alephprover/__init__.py,sha256=qcsWEKagKTBonx1puqyl8zrXC_9gtppokCKqpsGZ9mM,97
alephprover/cli.py,sha256=QdkWgoeUvLzGdL2PREWAIApQ5BciP_aMS1t2Uj-kg08,25341
alephprover/prove.md,sha256=LVhiGcsNiOlfifOiClkD1VAF7X3I6NE55NqzdGMNYTc,2884
alephprover-0.2.0rc1.dist-info/METADATA,sha256=LsqGzBYruPvrYx5ERxfIQZ0lhG7oIB-3Sjv-oO_WE10,3495
alephprover-0.2.0rc1.dist-info/WHEEL,sha256=QccIxa26bgl1E6uMy58deGWi-0aeIkkangHcxk2kWfw,87
alephprover-0.2.0rc1.dist-info/entry_points.txt,sha256=CkwKxbM7tjMf6WiO-VOFL7KiJmcST3aVinP3RRZfw0k,53
alephprover-0.2.0rc1.dist-info/licenses/LICENSE,sha256=zgeYB4vrQaFvCU_WRhQ7ZsPPDmLbdaOSN9adgJtnfdA,1077
alephprover-0.2.0rc1.dist-info/RECORD,,
