proof_frog/__init__.py,sha256=AyI07xhVRlAZJrICDtQeaCk0yHraLNQrONHtdXqroKE,29
proof_frog/__main__.py,sha256=JzmVM4_OxV4J3AzBf8CNjnKIVSHdO0c7ATtMpFdYOEM,37
proof_frog/_examples_pin.py,sha256=sMyUJS-sz2zURTPZNJANbQAjoyT-Gudkv_Z-_yG_y68,168
proof_frog/_git_sha.py,sha256=gS-_oY1eS0ZPFdfcjxvY__TgowFdEdfDf5oj_qd4eSI,87
proof_frog/dependencies.py,sha256=td4be35N1OASSJ_N13fH5kEZEAdQRbrrlgdBJLdrLVY,14642
proof_frog/describe.py,sha256=zd_k43raLFRbRT2v_TvnaMoE8xpjsiKI0iXLTEgjcxk,4036
proof_frog/diagnostics.py,sha256=hn2gCUbwhQpnCQgdMmZuQQN96ezevKM24H63RDQOje8,12502
proof_frog/frog_ast.py,sha256=w8cONCBWfXq888PshPn-1XRPz2zSHJjWdLGAAX8jnOg,31770
proof_frog/frog_parser.py,sha256=tTk19r2O-8__J6SuqarNIagfYPs6YEuJzYXN9YmCjzA,65540
proof_frog/mcp_server.py,sha256=_szHu8vBGYUAIH0IXHwVkmXGMju6wOpYfyyq2wbKid8,20409
proof_frog/proof_engine.py,sha256=y-RNnwgrl34z0ROGAGpqMoPDKH0M3j6PGOynlkWAasc,72842
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=Lw_C3GQGlmAwUM0Dm-u3syZkK_IsmX26i__UL0hEE5g,133523
proof_frog/suggestions.py,sha256=TF9ipTU9pOBMhP6Vqc56jLpwDaNZ_mP1PX5KCQsDMnE,4339
proof_frog/visitors.py,sha256=L_5Z4sES3mFaKkpwXEKI2V0mULUR8bGddRdkyLRnSko,51798
proof_frog/web_server.py,sha256=O8cCpYZAUD8TO_3qxFMvxQDjvcagQbTq7zk3SZMLTKA,47711
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=dj5TxRe9tlk1Nkap-OpoyGw-ZrrVqUzm8YIdtI4VwKw,1720
proof_frog/antlr/Scheme.g4,sha256=gVaFUsmBCWwpwlRz05yH4UdxJJbvFzalsvpLN1RDb-I,279
proof_frog/antlr/Shared.g4,sha256=yXMNdMDRA_efT6nAYwnKmW8bzr06tUh1YIo0jnJk35k,5272
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=TRP1mC4Hv3KywlR-U8-lTStihiKN_-EkRknND--fmn4,18671
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=5d39V_N-0Ioc75py8g64PFRAJs0JMwi3sL4t_Ec3haA,164789
proof_frog/parsing/GameVisitor.py,sha256=hUsOdIXSZGZkJkTRSHYTUMdL9g23gG1dW_v0va8dWu4,14610
proof_frog/parsing/Primitive.interp,sha256=CH2ZQK8Xt8H9COomRoywYCpdws_kQ40hFXBgs3l8YC4,18932
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=sOisuiY9iK3D6taZFEJFYw6YGG8oSd8NsYzFDf6KXTg,169925
proof_frog/parsing/PrimitiveVisitor.py,sha256=KLR87saISTdO4uq140B64ShSmIcado1CMsUIBglkbeM,15509
proof_frog/parsing/Proof.interp,sha256=GMmWzQ8yvu92aR_ti-q39hoZmVJGeyrLY7VOABUpFnI,25425
proof_frog/parsing/Proof.tokens,sha256=1eFQkSu0eHboiX9qOv7H30idParZ5J1tEIKnTGQJczM,1615
proof_frog/parsing/ProofLexer.interp,sha256=P4YWdeHACtAPxF0SOXygtxaEK3mzBTCQkffExKVOzog,21277
proof_frog/parsing/ProofLexer.py,sha256=qg-45tyhrA_pufb0WXd1kJ0TCrSwvI5hVbQmM943BtI,21447
proof_frog/parsing/ProofLexer.tokens,sha256=1eFQkSu0eHboiX9qOv7H30idParZ5J1tEIKnTGQJczM,1615
proof_frog/parsing/ProofParser.py,sha256=LB_0LTqfxh_GNYlOyRrEnJBC_1F0-zMaBAiSPCP8JiY,214255
proof_frog/parsing/ProofVisitor.py,sha256=xFg3Vk6fWU0EK_v7H4iV9sYM3H215aP5IB1I4uL0KRc,17974
proof_frog/parsing/Scheme.interp,sha256=jOc-ZlxdnmDFmJfj8iedOmb3l5SmaXatm457M4FPQ9I,19621
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=qSGxJjQvyblVv-nE4hc_rutrKnbRNEOsPZJpkot-E8M,171858
proof_frog/parsing/SchemeVisitor.py,sha256=cWcpLywcKaWYpzZiqpvJip8LRzP5Sp2DYIDljaKoM8s,15124
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=vC6eLPRoXE8RnmC_qsfVRPqPkIV9n45lgOh3rxT3_nE,9920
proof_frog/transforms/_ordering.py,sha256=MIVbIywPHPOD_N6F-VVpTyQQPRUleImNbzxqemkf-4k,6596
proof_frog/transforms/_requirements.py,sha256=N5lagxWbeqlJTpdNOaTBtomUra1JFNn3G4DRMPafgsk,1410
proof_frog/transforms/_wrappers.py,sha256=stLYsMFPYqMKZEP8h_uaG92X1en0QoiUJwBl-F9_1FM,23554
proof_frog/transforms/algebraic.py,sha256=5fcE6gmzobKXLpbh3TXmqUEca0YZnJ9dxUqvIBub7to,102700
proof_frog/transforms/assumptions.py,sha256=ovaYyW987cJrx1UtiQrtXjTkDW0OYINKxbq6vyTFeLE,4482
proof_frog/transforms/control_flow.py,sha256=ajTlxCC_JWSM9OUs5gcE5m7dVR1UUtgU7ECou7lz7DE,98817
proof_frog/transforms/inlining.py,sha256=kKsISbbbeCoY8Kr820UGlojflHFGRLiZ4MhdimTmKRM,210437
proof_frog/transforms/map_iteration.py,sha256=1UCbg6g4iZ9JM4GN0WxMzyP5KeNNU9aw5y-5xagDMww,12139
proof_frog/transforms/map_reindex.py,sha256=n10CQUq9ekOPTQUMuxTYDCXGV2ECg_GDBpTm72phMpc,19609
proof_frog/transforms/pipelines.py,sha256=gD5xRwQTyXrjy8kULlfcJPE1y5ngYGncpMTddYfuH_k,6600
proof_frog/transforms/random_functions.py,sha256=UjvP3C_yV4_pvcF2AmNspO6taBy5mSZZyLcQx7tLTHk,120811
proof_frog/transforms/sampling.py,sha256=UJHDSXvihveLhDukrUoLvZHJN72-eDfBFkab3mp_CHM,65989
proof_frog/transforms/standardization.py,sha256=lLKoABqngacaV7rHItSSW1tsCGYzLXcvSmzOVZfUsYo,27647
proof_frog/transforms/structural.py,sha256=qfE9PeRuNt-K114uKozr9Xts7SlNpWhR4NvQaWeNk1k,12490
proof_frog/transforms/symbolic.py,sha256=M0gj3nxY1gJ8awC09a2r4X2kHB0KACi2r4DSFlghSkQ,6157
proof_frog/transforms/tuples.py,sha256=k9HhvOxBnm012L7zJteMcTy8o0CiGwG8GY-MVMRtVSQ,17114
proof_frog/transforms/types.py,sha256=Z2YUuqnQ2kmUelW7rdTZDrpoOhibsCzVnD7MtrA9i80,12968
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.5.0.dist-info/entry_points.txt,sha256=DhWY9cxXYCFn587msXunsGl1j4L-HfhAlQ1xZJB1fXA,46
proof_frog-0.5.0.dist-info/licenses/LICENSE,sha256=yfHx65mlqh8v2VXBGz4I3NU6XD87xlQ4OuWVWf7iHd4,1067
proof_frog-0.5.0.dist-info/WHEEL,sha256=G2gURzTEtmeR8nrdXUJfNiB3VYVxigPQ-bEQujpNiNs,82
proof_frog-0.5.0.dist-info/METADATA,sha256=EeIN7_8uoZ3r7eBtQRmrXIhMfjzfDo3skCBK6wxyrsA,5594
proof_frog-0.5.0.dist-info/RECORD,,
