proof_frog/__init__.py,sha256=AyI07xhVRlAZJrICDtQeaCk0yHraLNQrONHtdXqroKE,29
proof_frog/__main__.py,sha256=JzmVM4_OxV4J3AzBf8CNjnKIVSHdO0c7ATtMpFdYOEM,37
proof_frog/_examples_pin.py,sha256=n8-gsYfCwAvVVjD3ChTLkeBr_0s_waDoZ5gIdN9g6Ec,168
proof_frog/_git_sha.py,sha256=LsJbUUTFwDZZBOVVqAhQtbX9R9381L9ymZMVm6GtpQ8,87
proof_frog/dependencies.py,sha256=lIm-7yYa7DBM3PHv2vStlIaYFt7WqTddD3UMmXTR-gg,13115
proof_frog/describe.py,sha256=zd_k43raLFRbRT2v_TvnaMoE8xpjsiKI0iXLTEgjcxk,4036
proof_frog/diagnostics.py,sha256=hn2gCUbwhQpnCQgdMmZuQQN96ezevKM24H63RDQOje8,12502
proof_frog/frog_ast.py,sha256=5Tzc9-A5mQeL74qd1Cxgcf_HtVXDgWseeDV3t9n-xrw,29265
proof_frog/frog_parser.py,sha256=UQam5JxR4Ox3iJpaZcKocqA8P86Kjyk5Yh9uHaF4A54,62562
proof_frog/mcp_server.py,sha256=_szHu8vBGYUAIH0IXHwVkmXGMju6wOpYfyyq2wbKid8,20409
proof_frog/proof_engine.py,sha256=TWa7ndhWKKwPjTZIB5gTCjyHXDxgKzY7DSDjfdoZUvQ,70604
proof_frog/proof_frog.py,sha256=oH0vwQQcZTLhnOFBDEGpLcdm1S2OX_8_dS-X_3w1yfA,15622
proof_frog/scaffolding.py,sha256=UjHB-ZlVm659kKUtN3caOR2YKLZZqB6lkh_khV4nnh4,11572
proof_frog/semantic_analysis.py,sha256=lvQqyulYkAjGe7bMa8sRlbH-7jovnlqSybrXq0qWMNs,128263
proof_frog/suggestions.py,sha256=TF9ipTU9pOBMhP6Vqc56jLpwDaNZ_mP1PX5KCQsDMnE,4339
proof_frog/visitors.py,sha256=pHscaCevR3mIR21D0MXQ-h_-RAbx3bHdGQCiE7hQGOw,41858
proof_frog/web_server.py,sha256=GQDfUIb0d1ldd7gve5M0PZifBaWN4jHAPJXzQ-NGty0,49188
proof_frog/antlr/Game.g4,sha256=g5uAOt6gjQLdtjzV9e-faccc-yTWUe4JCPFlj3X3LYQ,112
proof_frog/antlr/Primitive.g4,sha256=vJLYYBF3ko99hHiABpvfCL7A-GWHGC_zHcJdV--6x2A,180
proof_frog/antlr/Proof.g4,sha256=eFlpm8MlU_ycT_QfKjw9CVsQdDFSXxOZN9kgFEQ3LUc,1499
proof_frog/antlr/Scheme.g4,sha256=gVaFUsmBCWwpwlRz05yH4UdxJJbvFzalsvpLN1RDb-I,279
proof_frog/antlr/Shared.g4,sha256=6EuXy9iZpJLM6wOqHhmq25gBHTof8ACGfREQszk7L5g,5094
proof_frog/lsp/__init__.py,sha256=q6bzNrmLlkLsHbk7hdxSkBS9_SaCj_uhFiFcr6ILUG4,129
proof_frog/lsp/completion.py,sha256=5v__DDEk8IFD8Qjk_jj9qPo3Gg2u00DZ70_hYYs2eYo,9957
proof_frog/lsp/diagnostics.py,sha256=hrWFzyyivh06CpvF9QLqJfNha21cmzNy-BV4P4E3daE,5278
proof_frog/lsp/document_state.py,sha256=Izs8wNAaUhOoR2sTYAwbw1NpL7chWE9TO41WupXSfHY,1062
proof_frog/lsp/folding.py,sha256=KRORoTPYveVa8UPvWMSuwtEVc2zCZAFeY8hxza52GpE,5387
proof_frog/lsp/navigation.py,sha256=lbGTsWwRmDTcp73Xo1FNZS-7mGnaGLdizyKNPI-BAXI,10841
proof_frog/lsp/proof_features.py,sha256=D5aB6mOWzI3XDyhWTUffP1PrbKX1cnhVKd3YasQ7dyc,9286
proof_frog/lsp/rename.py,sha256=aX2b3ZMcN9Vyg7Dfa7hi0NLeguhyPUFsZW4e8EJFUAE,4389
proof_frog/lsp/server.py,sha256=be496XndJrDiSqVWrPPvHbBpdOPwug21qysgMY2X9Zk,9753
proof_frog/lsp/symbols.py,sha256=JO1lxGP7kobR0ofgnDt8cbVdNr8ybo7zLKSbeabv56k,6225
proof_frog/parsing/Game.interp,sha256=I-rLi0a_oeDuXeQH5yEQKkr9ZYBar8l9oI0nF24KpKY,18189
proof_frog/parsing/Game.tokens,sha256=M_wEFn5JmEhYYwLmP8wRhJwGGdynsMfEDFGPITct9Y0,1249
proof_frog/parsing/GameLexer.interp,sha256=prphxDggGtynotP34Tk-2wTTy3yjspd0Wsy0UHGzDSA,16329
proof_frog/parsing/GameLexer.py,sha256=SmT6juOsKxKQvz31k-NWUjIqH5E5SeY4Sdrb7_RzDks,16711
proof_frog/parsing/GameLexer.tokens,sha256=M_wEFn5JmEhYYwLmP8wRhJwGGdynsMfEDFGPITct9Y0,1249
proof_frog/parsing/GameParser.py,sha256=Ac1ccwFZafL2kEI1cM19CCvsPgIjjm_Am2b-AE1_wcs,160850
proof_frog/parsing/GameVisitor.py,sha256=g0OQLeDaliVETfeVhnzzfrn2EGm1QydDfDOI5tz958s,14185
proof_frog/parsing/Primitive.interp,sha256=Pucme1GROjwqY73zXdzPk93Zlk0avZTO3eOx01vRP4g,18450
proof_frog/parsing/Primitive.tokens,sha256=M_wEFn5JmEhYYwLmP8wRhJwGGdynsMfEDFGPITct9Y0,1249
proof_frog/parsing/PrimitiveLexer.interp,sha256=prphxDggGtynotP34Tk-2wTTy3yjspd0Wsy0UHGzDSA,16329
proof_frog/parsing/PrimitiveLexer.py,sha256=fJwvniAIGX19OY7qXykECCYc4_OSnj48WtwoR8SMYeU,16726
proof_frog/parsing/PrimitiveLexer.tokens,sha256=M_wEFn5JmEhYYwLmP8wRhJwGGdynsMfEDFGPITct9Y0,1249
proof_frog/parsing/PrimitiveParser.py,sha256=mqa_44tvjngLYqwJOt8dgv5XUEpKSG4IYNAiFMNQ-0E,165871
proof_frog/parsing/PrimitiveVisitor.py,sha256=OORn_WekMm9FEIh9Drdw8FkhO2QfFVO1J5-Bwy6SuY4,15064
proof_frog/parsing/Proof.interp,sha256=4DzCCswU7WPNz777GDhLwU_YtygKqs2CgPyILCwrVyQ,24174
proof_frog/parsing/Proof.tokens,sha256=BT46dl3Y93TAkBqi2hB0OQftsIDNezLWudb-8xQthqc,1555
proof_frog/parsing/ProofLexer.interp,sha256=KyBtoe8Xc_Ue5l1_H1VSSfngdNsriapuGAdA8BRTPu0,20470
proof_frog/parsing/ProofLexer.py,sha256=esgII0DZahiR73XI4ZeNiBNrMP_DaTTTsWzIXESMxzc,20666
proof_frog/parsing/ProofLexer.tokens,sha256=BT46dl3Y93TAkBqi2hB0OQftsIDNezLWudb-8xQthqc,1555
proof_frog/parsing/ProofParser.py,sha256=CKg7Nby2y7m7ETM9aGXAOzkoybUJUGIcmiIPq7V7Y_o,204581
proof_frog/parsing/ProofVisitor.py,sha256=4XAq7vTS5xeETYPfoSyw8mcEAUvHmy5XyJdFjk91q_8,17185
proof_frog/parsing/Scheme.interp,sha256=VKwVd2YFamtLZVpsN2utubymhFthH-IcDmCSctHFatQ,19137
proof_frog/parsing/Scheme.tokens,sha256=xtNgee4IJHnsqFnlgMeqmOxIxS5WC_IDk57so4vvyiU,1321
proof_frog/parsing/SchemeLexer.interp,sha256=rydhW0G6vxTn96CvGSbH6rn2HmyvERbMFliYmsYEYHs,17320
proof_frog/parsing/SchemeLexer.py,sha256=zq92rcoPYGyiMlg5oW6hZ6xrMvezjC8mj6K9AEDLjgA,17652
proof_frog/parsing/SchemeLexer.tokens,sha256=xtNgee4IJHnsqFnlgMeqmOxIxS5WC_IDk57so4vvyiU,1321
proof_frog/parsing/SchemeParser.py,sha256=RMAoQ5dzlfU9yH23KRug7FHM_m8sXN3Q-wQsHry8Ptw,167871
proof_frog/parsing/SchemeVisitor.py,sha256=3nzA_VS-wLdk2VDLDqo42alqb2VByDSA5AziL2wQn-0,14691
proof_frog/parsing/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
proof_frog/transforms/__init__.py,sha256=imjW3t64qnLMGGSSz1-godFNmBXG6T2kTYpas-e4SXc,494
proof_frog/transforms/_base.py,sha256=c2xi3OLYaPemRi7VkfyvX94reLx-VN5z6Kacpxakh-A,8426
proof_frog/transforms/_ordering.py,sha256=MIVbIywPHPOD_N6F-VVpTyQQPRUleImNbzxqemkf-4k,6596
proof_frog/transforms/algebraic.py,sha256=5hLU7EfXO-Kh8t4OlioNxHI2scbloRf_BZQiWSUeZeg,56821
proof_frog/transforms/assumptions.py,sha256=ovaYyW987cJrx1UtiQrtXjTkDW0OYINKxbq6vyTFeLE,4482
proof_frog/transforms/control_flow.py,sha256=fnL-vvmXYL_j7U7a5-POeSAtaVdWMQISs5sEn15GPgY,37701
proof_frog/transforms/inlining.py,sha256=XFQGhhD81b7oZqM_htWmvmHLC5IBRyII0-yev753rYM,103263
proof_frog/transforms/pipelines.py,sha256=LmeaQVxDWI7nf43n0VZJh6NYT_sfMMXN7ROD_lRlV7g,4148
proof_frog/transforms/random_functions.py,sha256=bfJ0DCLDBbL9TCbrb_7UoSs9NJP3ueUxOcxylQuzAMw,69079
proof_frog/transforms/sampling.py,sha256=0mTMJPP7S7Ui42YPnwLm6zUMr6iTChmstMZb14Ky50c,56513
proof_frog/transforms/standardization.py,sha256=lSzSN5QkpPlvag7vOP2Y2sEbzMJQ0hjLRK46NqRNvJQ,18145
proof_frog/transforms/structural.py,sha256=qfE9PeRuNt-K114uKozr9Xts7SlNpWhR4NvQaWeNk1k,12490
proof_frog/transforms/symbolic.py,sha256=M0gj3nxY1gJ8awC09a2r4X2kHB0KACi2r4DSFlghSkQ,6157
proof_frog/transforms/tuples.py,sha256=wzAb0N_uNZe7EoAk6SMqz4in2X-OcUsXT97adRMQo5s,15900
proof_frog/transforms/types.py,sha256=_f1Xqcbir976ml9Xm9JjspUzpwVtoUc1h9aFmRRB0-c,12156
proof_frog/web/app.js,sha256=48Ez88RJ1kvmxGooTZZe9xcjuXXRnEvp_pT4uRmJY-8,13194
proof_frog/web/cm-mode.js,sha256=EVIjBboRBOb3Xj_otz0O2cA8k79mtZbpMkvqg1TOEMY,2476
proof_frog/web/editor.js,sha256=JRWBrkK8yHFQVjA8Dpi1r_w0hDcgbtrWIXy9rINHLUc,14923
proof_frog/web/favicon.ico,sha256=WRVOdIC2Dee-iIvQfC2VIR1F-hbhNFi8fJg2Hp0_oVk,319894
proof_frog/web/file-tree.js,sha256=yk3ei5sz5zdqLdo8HGUanw5S00Yg4XOWbrIS14fkiDY,6048
proof_frog/web/game-hops.js,sha256=MfDNlbJvUGKK1af8xt5K1R6S18cF2VpGfNdNNr4Ci6Q,4258
proof_frog/web/index.html,sha256=u37xVCCACfvowvJasA4iE2ub0657mxCJ_WKbNerB_xI,33864
proof_frog/web/inline-game.js,sha256=RW5UNGQ4t6vCXNjeUqOw9KTm-lXmfpdSYnh68S-74_s,12446
proof_frog/web/insertion.js,sha256=uzdg-znJvmlst6lHDmeRsASrXWHaCKdGIQO_J6GF7Q4,5447
proof_frog/web/live-reload.js,sha256=4M1uOL0ArPiTBrV4o6XxNWL-xMVvf58yI6y2s1CGUVo,4475
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=Yl_ntAG0t340BEtksStHAy6igcTB4V5LJGjj4cp4me0,2863
proof_frog/web/state.js,sha256=yZADColtRg6yhy_aWEJTCfo6aNrJSSYgDYbemmsS43A,4179
proof_frog/web/style.css,sha256=FuE4XEkCMxvHq8x9HFDOFWek7yUulazIbxwWkhwH0ek,29159
proof_frog/web/wizard.js,sha256=ZIevUQQp4_XOnn3BCgzRHgUM96kaCTmU5WZ6vBufldU,52145
proof_frog-0.4.1.dist-info/entry_points.txt,sha256=DhWY9cxXYCFn587msXunsGl1j4L-HfhAlQ1xZJB1fXA,46
proof_frog-0.4.1.dist-info/licenses/LICENSE,sha256=yfHx65mlqh8v2VXBGz4I3NU6XD87xlQ4OuWVWf7iHd4,1067
proof_frog-0.4.1.dist-info/WHEEL,sha256=G2gURzTEtmeR8nrdXUJfNiB3VYVxigPQ-bEQujpNiNs,82
proof_frog-0.4.1.dist-info/METADATA,sha256=d3JWaEOFhqVhI78NWsy_8O3iI1RFb2VRTLqS0UoVd_s,5553
proof_frog-0.4.1.dist-info/RECORD,,
