proof_frog/__init__.py,sha256=AyI07xhVRlAZJrICDtQeaCk0yHraLNQrONHtdXqroKE,29
proof_frog/__main__.py,sha256=JzmVM4_OxV4J3AzBf8CNjnKIVSHdO0c7ATtMpFdYOEM,37
proof_frog/_examples_pin.py,sha256=zLi3mexqNYUt5T0w5LbNNm_mJnxWa6K4lHxdEOeCyr8,168
proof_frog/_git_sha.py,sha256=xc-uOfxXXTfVyUXjeDqt1k0GDIxkR1OuBBG8DBZYJQc,87
proof_frog/advantage.py,sha256=V8b0K_iwA6YbCa-qDoJh4QL3htGjS57Ze6ugxr8Sjsw,36157
proof_frog/dependencies.py,sha256=FojIsAPAFf-lq-9YRUdPbT_Ha8Pq-20GitV6EP2fy6s,20414
proof_frog/describe.py,sha256=zd_k43raLFRbRT2v_TvnaMoE8xpjsiKI0iXLTEgjcxk,4036
proof_frog/diagnostics.py,sha256=hn2gCUbwhQpnCQgdMmZuQQN96ezevKM24H63RDQOje8,12502
proof_frog/frog_ast.py,sha256=0fIDzKRvNRZ5P9BYoH_v8qdGBCcd381k1qZXg5OJ_OI,37449
proof_frog/frog_parser.py,sha256=mpgHia7ZlNFdrIUHLudTcN409uZi77CD86CnSOBZU7o,79694
proof_frog/mcp_server.py,sha256=qOFtyPKHyP8gbXxVBqn8RLtAA9P44NxgsY2wlck0TBg,20790
proof_frog/proof_engine.py,sha256=1RiieHcgyRRb7r65OuJhunl9umB9_zk_Cz8B5fkIOtU,80328
proof_frog/proof_frog.py,sha256=DZY5bJa9Q8uUdUWRMLda65cbzXMfA2_AeMLfC6nnGbE,18141
proof_frog/scaffolding.py,sha256=UjHB-ZlVm659kKUtN3caOR2YKLZZqB6lkh_khV4nnh4,11572
proof_frog/semantic_analysis.py,sha256=ZM1YXLIhY1Kcp_ppIQt2UwZ3UPye3ToOj1pq3lNxsX4,147056
proof_frog/suggestions.py,sha256=TF9ipTU9pOBMhP6Vqc56jLpwDaNZ_mP1PX5KCQsDMnE,4339
proof_frog/visitors.py,sha256=JkoYz7A3WlEsSUta5NihW-9gHgNiKp-s5nnoVEXpl_Q,63168
proof_frog/web_server.py,sha256=SDK8HymxvxSXWoKMSDhOvAofNFv4N3QvHM7wUVBSMJ0,48229
proof_frog/antlr/Game.g4,sha256=NrmVLhFJyxxVUDQDKoYQpD8WwG6r_0WZwt503pZYazQ,215
proof_frog/antlr/Primitive.g4,sha256=vJLYYBF3ko99hHiABpvfCL7A-GWHGC_zHcJdV--6x2A,180
proof_frog/antlr/Proof.g4,sha256=2Rhzrm9ZlKxK545-dNzvvy_SYkvWbuU1UwMnYwWkVa0,2657
proof_frog/antlr/Scheme.g4,sha256=gVaFUsmBCWwpwlRz05yH4UdxJJbvFzalsvpLN1RDb-I,279
proof_frog/antlr/Shared.g4,sha256=VZQQJY4OOjCeKDvvhIIRT6hMNcMhsDdZhE9NXHay93M,5582
proof_frog/export/latex/__init__.py,sha256=_wT4xVHt3BOMsHThjuKrFHFpGVMDMZvpjcfhtNV3DBY,61
proof_frog/export/latex/diff.py,sha256=oK6sbaD4MVSNvB5DuMgPTcYv2QWCQ7hXazEHPO8vgQU,3969
proof_frog/export/latex/document.py,sha256=96XrDYKHLWOQkO3pLHZNUBs-WhpmCaJLVTfsxTdjjSY,2825
proof_frog/export/latex/exporter.py,sha256=v95b3SLoZLqzSyNN2c3ihXgNS-Fd_ZMIyFEwkR1FklU,2846
proof_frog/export/latex/expr_renderer.py,sha256=RUA629SJFtqjN5vpu6yelcR79JEqDQ0AsuKc_73-rgQ,25622
proof_frog/export/latex/ir.py,sha256=okwtATmHeChBs2QzBY8KMTdg2_NKYsEJHJJCmAoTDX0,2504
proof_frog/export/latex/macros.py,sha256=j92UxXiiizwUEw8hbismWajcXGVRFmbp8kADojbLOSg,6785
proof_frog/export/latex/module_renderer.py,sha256=r9aNyuw8EXKayuO_Hz-95ni8ctH4ubkZ_TOLIxZjpH0,9958
proof_frog/export/latex/proof_context.py,sha256=rxRxvHh7lo9nvXJY4CxsQJhgDxzt0SVhY6gStqL3xR0,11214
proof_frog/export/latex/proof_renderer.py,sha256=UZhx3bp9eeyu3Uz8E9R66KHFbbbLfOPvFCbS6FjqlYU,26192
proof_frog/export/latex/stmt_renderer.py,sha256=J8v5oY9oBm1SFPLczMVnj_NSJw3Qgf88-pKO8lJzQs0,8625
proof_frog/export/latex/type_renderer.py,sha256=JkIKbGyhC_eGQ4-jBxDI_lObBn3iGL_Rbnzni9EOYEI,528
proof_frog/export/latex/backends/__init__.py,sha256=Mh5Tl2Z5pl3kvZVIGEx2LJsg7nlkthtnbmASt2q5Sgs,106
proof_frog/export/latex/backends/base.py,sha256=lgdUWvrFnsEd3sl1586-QEt01Y9XovFy4mqF36yBheA,857
proof_frog/export/latex/backends/cryptocode.py,sha256=zOyVptyG7EYuc0juQBtUDt6dcCbEnfNYJxeWP2GHELE,9826
proof_frog/lsp/__init__.py,sha256=q6bzNrmLlkLsHbk7hdxSkBS9_SaCj_uhFiFcr6ILUG4,129
proof_frog/lsp/completion.py,sha256=3u4It3b6pat84OKYUG9Gz708vCY19V5i5a9HRzHvIQA,10000
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=NaUu0haStszhvPXQ9T7etJdWg1hTHsOhbqeGA13ZwMg,4427
proof_frog/lsp/server.py,sha256=be496XndJrDiSqVWrPPvHbBpdOPwug21qysgMY2X9Zk,9753
proof_frog/lsp/symbols.py,sha256=JO1lxGP7kobR0ofgnDt8cbVdNr8ybo7zLKSbeabv56k,6225
proof_frog/parsing/Game.interp,sha256=XwD0ufW7q5kZmoQAAXuniq6IU6QBJz4-1S4SUqM1qSo,20530
proof_frog/parsing/Game.tokens,sha256=BDFsa2Jd_tojngG6irUsjIGhJUeYUtrCCFmzujaVB3I,1277
proof_frog/parsing/GameLexer.interp,sha256=3ZgzBZp8Ir9yJAlaUqHtX2yo7bEBtugwtjyIqc9bgLU,16723
proof_frog/parsing/GameLexer.py,sha256=_nFn55B9iD0HI6Uvi2rSmgTteetIYQehWeUyh4VD8P0,17084
proof_frog/parsing/GameLexer.tokens,sha256=BDFsa2Jd_tojngG6irUsjIGhJUeYUtrCCFmzujaVB3I,1277
proof_frog/parsing/GameParser.py,sha256=M5zDoIW1ZwtZKW4mRAv2ZqmuGZBezxKkQ6QSEaIBFnM,177347
proof_frog/parsing/GameVisitor.py,sha256=8rTXI8eUzQVyQbJLj8QxfupCzChyoFDXET9Unf2l7a4,15466
proof_frog/parsing/Primitive.interp,sha256=LBzqUbiopaUQpmYyDZYh7qpxpUvqYofCsxy0d7C4IRo,20380
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=4FUVp3IV6ft1vlV_GspNlRJh8jTXmKWsRw2exF1F2Gc,179738
proof_frog/parsing/PrimitiveVisitor.py,sha256=lvNFgSGt4REg1l2qvygDT89jRSuMxMRMNNuLmYL06ro,16214
proof_frog/parsing/Proof.interp,sha256=FuyEbx0fqfwwKiFAcnfYlNqfPrEhaa7PX52A7qBp3NM,29175
proof_frog/parsing/Proof.tokens,sha256=_oZGeI-Hz-WEa-BNJo9aPaWW5RcfrCpBTTqe_9T4ios,1663
proof_frog/parsing/ProofLexer.interp,sha256=tCY8MoNzCgP04RkbzJEyMLb3ysgVGAYKuqSv-oiI2RU,21941
proof_frog/parsing/ProofLexer.py,sha256=SgvOLZkcfBLBHHmU1oTsILrUOzP1HwFuVb--dud3kpM,22088
proof_frog/parsing/ProofLexer.tokens,sha256=_oZGeI-Hz-WEa-BNJo9aPaWW5RcfrCpBTTqe_9T4ios,1663
proof_frog/parsing/ProofParser.py,sha256=KK9c4w9Dzy_zGMquwDCNJDf56WvV3lhSOWFUU4tg2qs,246350
proof_frog/parsing/ProofVisitor.py,sha256=wv6zulBYSVw6ceGWl_2-w6MEIQ4wYNFNTzlhZj3RVbw,20743
proof_frog/parsing/Scheme.interp,sha256=8NKgKS_qWX-ayA3C3iB4dbGGBHm-Q_J5HYN_4FmC5pg,21072
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=2q_J57QpzxeWaDGxfUCR04p9NDj2wC2VmdZQiSY34OI,181510
proof_frog/parsing/SchemeVisitor.py,sha256=BgwmlZthMCG1sukg5XvdHIV5IQ6lnbw1xbG39sUaHnQ,15811
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=KC_N9_Axd0ubY0J37pByVpbCpfiDhD-TMCfYe2l71NM,2905
proof_frog/transforms/_wrappers.py,sha256=Wab8DSmzWpPxtmJSbObdOiWt6NQ_kC0AznnqI79NJEs,25542
proof_frog/transforms/algebraic.py,sha256=MHQ_2Bz1m3Jp8bjT_kMYzqy1cqjtZ-2wqjRVnItUvSY,104647
proof_frog/transforms/alpha_rename.py,sha256=K8FKD2WjqiwcgzTbcwGzA8JNPSBW6xqMbOLnwTDK2Tk,12062
proof_frog/transforms/assumptions.py,sha256=ovaYyW987cJrx1UtiQrtXjTkDW0OYINKxbq6vyTFeLE,4482
proof_frog/transforms/control_flow.py,sha256=pUsLpTyNz53qd6ap4pQFcok__Hm-vCu5bud3Ld_hz5k,131782
proof_frog/transforms/inlining.py,sha256=ZTy81gHTN0U6clGxHJ-MUBrna0lmd_o91s9aY_JgTAI,211498
proof_frog/transforms/map_iteration.py,sha256=_8jLWp2cncM3VBSemDMu1jcEqZPBDurqUV0-VCcgoRc,12925
proof_frog/transforms/map_reindex.py,sha256=DNkjnSOm_d8n5ARMTUGKKTGEQRnZipMKR07glJ_q1pM,21058
proof_frog/transforms/pipelines.py,sha256=aMMtVNfJj3NOwz3gO1m-iN7AqES8fOASug2vT_lpiRU,7057
proof_frog/transforms/random_functions.py,sha256=vanfvoicdhFkHBOvjJV0RP3AAJPs4e3hUFZ4Y7zpryY,160790
proof_frog/transforms/sampling.py,sha256=ImJhbMqpwhimZs7vvwrkKBDGUtkDA37H2pJF2Otz32U,97152
proof_frog/transforms/standardization.py,sha256=Am9JMIIX_f8XKpVQG_R0ttCB3s0YV6wAIO_g8YPKj7o,34196
proof_frog/transforms/structural.py,sha256=qfE9PeRuNt-K114uKozr9Xts7SlNpWhR4NvQaWeNk1k,12490
proof_frog/transforms/symbolic.py,sha256=M0gj3nxY1gJ8awC09a2r4X2kHB0KACi2r4DSFlghSkQ,6157
proof_frog/transforms/tuples.py,sha256=rAFoHVFQA2wLNLS_6AexU4pW-LKzYsptVwp42_o0iJE,26310
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=dRMBtP1IM1z6onaWzDHtStVuI6aw8z0Y8o_ZFqNijn0,2496
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.6.0.dist-info/entry_points.txt,sha256=DhWY9cxXYCFn587msXunsGl1j4L-HfhAlQ1xZJB1fXA,46
proof_frog-0.6.0.dist-info/licenses/LICENSE,sha256=yfHx65mlqh8v2VXBGz4I3NU6XD87xlQ4OuWVWf7iHd4,1067
proof_frog-0.6.0.dist-info/WHEEL,sha256=G2gURzTEtmeR8nrdXUJfNiB3VYVxigPQ-bEQujpNiNs,82
proof_frog-0.6.0.dist-info/METADATA,sha256=u15yPObLBQ_Xhs6_aNzABBc7IO9jx90Dol2NfrxI-Xc,6008
proof_frog-0.6.0.dist-info/RECORD,,
