proof_frog/.DS_Store,sha256=qWs6Zl_7EkjQ6M202RRpdG9jJeMBj8YYdfiz5kf9kE8,10244
proof_frog/__init__.py,sha256=AyI07xhVRlAZJrICDtQeaCk0yHraLNQrONHtdXqroKE,29
proof_frog/__main__.py,sha256=JzmVM4_OxV4J3AzBf8CNjnKIVSHdO0c7ATtMpFdYOEM,37
proof_frog/dependencies.py,sha256=sRp08beUWvmtsBi9oDIbubphHsPvVNbv8pvD40DbnWE,10404
proof_frog/describe.py,sha256=2pbRCvShr2vhDWxC0dH9jUjrW6gsVmb0Z_-FCvxpIGg,4381
proof_frog/frog_ast.py,sha256=PgnOIiQj8F0nBZH5gBlIYoKEtNXlkC2TVcqZiI3kfbs,23562
proof_frog/frog_parser.py,sha256=N04eG6NXXmaNGK_Htjt-_FuSXew5tmk0Xdla56MGYMw,32731
proof_frog/mcp_server.py,sha256=EI1GGiUeXnmLm-edpR86sU5C5lEOZFTQZC0J5wa8C8Q,15843
proof_frog/proof_engine.py,sha256=L9ZbI27CN4Hz8CpnuLWig3SWLPI_RRP2UpeXaeyNEKk,38379
proof_frog/proof_frog.py,sha256=k__fvkXeN8kpePDwY0gKcbRZznlF-7aE_eJEEHSpPD0,5816
proof_frog/semantic_analysis.py,sha256=8hdFcDDuzM_V4tdU5PYRyV-4zhrORmoNNnKWLgNP-yQ,53696
proof_frog/visitors.py,sha256=DOK1eRUT2xfyVdVd69LUws0jOGnW1id0TCmVI5Do3Cs,68398
proof_frog/web_server.py,sha256=u1Fnqtgs9LMBQsv2b_qMbhVpq1aDM1sACOana129YW8,21691
proof_frog/antlr/Game.g4,sha256=LCEci_zznvhJVuDPZFULZN2Sq_iz0lwVbabeTsCRyoY,112
proof_frog/antlr/Primitive.g4,sha256=-rHJ9TU-Bypa5bj-XOM1lXMCVjHeyXS0eAghKRKtTao,180
proof_frog/antlr/Proof.g4,sha256=RnLEAX0dQxt1MUqtXyAU9ujnS4jG4IXJ2gJWywCV5R8,1250
proof_frog/antlr/Scheme.g4,sha256=1fhuMWpTr5jYziKkvqujEVZ5XCwWmaBHuYiLQQ2b--M,279
proof_frog/antlr/Shared.g4,sha256=VKvSQzp6zs88a8xeWaK4m2VFckEvOdGN-aTqlvEtyLY,4292
proof_frog/parsing/Game.interp,sha256=psg8efFC_mb1NuHajU4gxBM96KGezISQskoQKFRRvjs,17086
proof_frog/parsing/Game.tokens,sha256=34IfAlQzCDlSw4nSPWh8QLU1oPR5056zDDSxBN2YhN8,1013
proof_frog/parsing/GameLexer.interp,sha256=TW0SK7YYhYqki7z61kb1qVgOZ37TT_z2jneYe02n7mM,12958
proof_frog/parsing/GameLexer.py,sha256=gC37_hzrjjJexO_FqD8bDRoS6MMRuszcoUceRpa0AFM,13499
proof_frog/parsing/GameLexer.tokens,sha256=34IfAlQzCDlSw4nSPWh8QLU1oPR5056zDDSxBN2YhN8,1013
proof_frog/parsing/GameParser.py,sha256=q20FXNxy5aWypKQ0RIg1FP2USxvAitFRg0QA14UaWnI,145987
proof_frog/parsing/GameVisitor.py,sha256=EzoHB4sXtkwSC9YUeam9UeGRfo89Ve3nzIEZ4TLjgbE,12088
proof_frog/parsing/Primitive.interp,sha256=SOTKFXA97CkZLY3pRtlYezUCb75r4ljlrexw7J3BS30,17351
proof_frog/parsing/Primitive.tokens,sha256=34IfAlQzCDlSw4nSPWh8QLU1oPR5056zDDSxBN2YhN8,1013
proof_frog/parsing/PrimitiveLexer.interp,sha256=TW0SK7YYhYqki7z61kb1qVgOZ37TT_z2jneYe02n7mM,12958
proof_frog/parsing/PrimitiveLexer.py,sha256=WeTKolg-haYHdSNLMkjQX5R2scp0EUvolphsExREB3w,13514
proof_frog/parsing/PrimitiveLexer.tokens,sha256=34IfAlQzCDlSw4nSPWh8QLU1oPR5056zDDSxBN2YhN8,1013
proof_frog/parsing/PrimitiveParser.py,sha256=0Nrs-mdDyMO-o0gvfO9eha3R2jyiqV62mPmH6ymPn2Q,150602
proof_frog/parsing/PrimitiveVisitor.py,sha256=hEg7DiiKWUPJ42ShropLnbE3n3sJf3NR2jVbPLZ5fd4,12847
proof_frog/parsing/Proof.interp,sha256=wTixof3KjcB1tWY6yKrUJiO5G_0zfb7nhBuggydHW8c,22078
proof_frog/parsing/Proof.tokens,sha256=qxzQK2I2XS97SstV8Bx6OggyvBdZUjU5w3O5S-B81jQ,1285
proof_frog/parsing/ProofLexer.interp,sha256=X6GNQMLYHQuVnUSf309FkGmgJYwQWWW2JaVvvX1vp9s,16665
proof_frog/parsing/ProofLexer.py,sha256=oqj32LPnoZxIpRElYivgqbsWvrvJOi8t06MsW_0howI,17034
proof_frog/parsing/ProofLexer.tokens,sha256=qxzQK2I2XS97SstV8Bx6OggyvBdZUjU5w3O5S-B81jQ,1285
proof_frog/parsing/ProofParser.py,sha256=59V9agBepsBfJkBlycVMupCw9AaYutHu85q3d-tdd50,181573
proof_frog/parsing/ProofVisitor.py,sha256=_kVupS_xlkyQULPY8HnlrPmVj8F5fG_ypekWEp0olr4,14413
proof_frog/parsing/Scheme.interp,sha256=egjqVT-MueuhVHxL93MhBRzDuZ-szWvPq65GoQjUv9M,18083
proof_frog/parsing/Scheme.tokens,sha256=uhyx0DpcDvLcA_whkEVq9uiTz3dqc17pX2yTrBr91HY,1085
proof_frog/parsing/SchemeLexer.interp,sha256=NOemJcs_TCkxRxXOmgAaaebJr8LqJ5PgJsLc-EoehTY,13949
proof_frog/parsing/SchemeLexer.py,sha256=p1rMBOcrqBLvjS4WK5jrpHfLUOJWEL6VCRl1zRXsevk,14418
proof_frog/parsing/SchemeLexer.tokens,sha256=uhyx0DpcDvLcA_whkEVq9uiTz3dqc17pX2yTrBr91HY,1085
proof_frog/parsing/SchemeParser.py,sha256=f9xz_jSnBKk1ESa3RoV6465KLZ6YxSy--sQ9ei7wJDk,152603
proof_frog/parsing/SchemeVisitor.py,sha256=lhceUe2AfaLthh91saFSapd_DC645xc0DF7U2VRimwU,12546
proof_frog/parsing/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
proof_frog/web/app.js,sha256=pfGHvTDF_lYWwK-jrQGJw6Jl03w5LeY7b0-Dryi25qg,4924
proof_frog/web/cm-mode.js,sha256=TMGV-8pilOxIJmFCaI7NOv0j2DwTWQN-67fgUoyz4wY,1956
proof_frog/web/editor.js,sha256=fz4pPDkQkB0lcwaEmI8pOdy70hhSoGGK6_TSBAsI4wo,12863
proof_frog/web/favicon.ico,sha256=WRVOdIC2Dee-iIvQfC2VIR1F-hbhNFi8fJg2Hp0_oVk,319894
proof_frog/web/file-tree.js,sha256=mdZN0gasz7fKJs5tCS0vb4zMChTnopHexEyvopWLDKk,3118
proof_frog/web/game-hops.js,sha256=MfDNlbJvUGKK1af8xt5K1R6S18cF2VpGfNdNNr4Ci6Q,4258
proof_frog/web/index.html,sha256=TmVgXP2yCG6OQmZeBvzX3OrfqL044YW-wMJIo4uc6xU,8336
proof_frog/web/inline-game.js,sha256=RW5UNGQ4t6vCXNjeUqOw9KTm-lXmfpdSYnh68S-74_s,12446
proof_frog/web/new-file.js,sha256=3jgCCQeKovLzzWx6uuGwDp9_8V5lotKi8abXR1dX-5A,2254
proof_frog/web/prooffrog-128.png,sha256=T7eiitEI3wQyFLqskXjPk7T0NZHhjBnc_t3D2ZsqktU,18553
proof_frog/web/prooffrog-16.png,sha256=00Idlrl9pS_2YYoHvc7muMGb4BUXEylbqEdF_y328WI,2081
proof_frog/web/prooffrog-180.png,sha256=JO7nM8vMTHaj3A6uB8AK9VqE45ECT74jbqzD1fgdfpE,31683
proof_frog/web/prooffrog-32.png,sha256=ruIc_CFBZx2a2uJ-_EbnZPXvWJa7qi-x-h95h0g0--k,3289
proof_frog/web/prooffrog-48.png,sha256=_1xNBAdr26zjMSf0Asn5Ayb9CvNiKeiV6LQd-4RSgWw,5028
proof_frog/web/prooffrog-64.png,sha256=9B34oATex3D_mY1UYscxOY1ZedYf8B6bpmtuwKMLYVI,7081
proof_frog/web/prooffrog.png,sha256=l4NBm_AF2G7L20dV8_PD5Pk8wnX_kxln5GkuonCo0Tw,38026
proof_frog/web/resize.js,sha256=cMBgOi5PDeVL5DzOZsw-mjviY8ItgvEpW_gAT-f3vnk,3785
proof_frog/web/state.js,sha256=9Sx5Y8wWF2g2pce12_BrSNt8gFwQbAGtBqltVfZIwdg,3317
proof_frog/web/style.css,sha256=-aiUmoqO5M1TceArp4AtaF6niJbCcQ0-bUHL_FKQgHo,18999
proof_frog/web/wizard.js,sha256=YM8_hl5sgcb7M8gT-m_OoVIYXDg7C9U8RJ4rNFIBFdQ,2919
proof_frog-0.3.1.dist-info/entry_points.txt,sha256=DhWY9cxXYCFn587msXunsGl1j4L-HfhAlQ1xZJB1fXA,46
proof_frog-0.3.1.dist-info/licenses/LICENSE,sha256=yfHx65mlqh8v2VXBGz4I3NU6XD87xlQ4OuWVWf7iHd4,1067
proof_frog-0.3.1.dist-info/WHEEL,sha256=G2gURzTEtmeR8nrdXUJfNiB3VYVxigPQ-bEQujpNiNs,82
proof_frog-0.3.1.dist-info/METADATA,sha256=U-urCDXEr5BUDv2ILiFhUPdu5gMIYR4ybxWHBSKURrg,8073
proof_frog-0.3.1.dist-info/RECORD,,
