el_cli.py,sha256=Yw5gRu_bcKvQ6V0pCHEfYa-BTwn5xSQ3fb-P_sJgeHQ,17468
matyos/__init__.py,sha256=xBP8wJsJnk0A2JkoTiW-dWPJYijfx152TWWdDv6uIFY,101
matyos/__main__.py,sha256=Tsz6WhoQSgkEZcsKX6SdQyBlz2gnGdGEESE9kc5v-EI,169
matyos/cli.py,sha256=B7Cumc4QWbYGoRhMvZk4TPKQkvbjZwnBLJlkPSa1CI8,13819
matyos/desktop.py,sha256=U_mnUl0l_h_tDMXb4JO4CuirTQqoTQdUqfj7YMbJ6cQ,3851
matyos/mcp_server.py,sha256=YMzdOLBUvSisxA6pjCl_aK3virMm9ZcF4gkuwxxCxb8,8354
matyos/ui.py,sha256=an5RZEPeQEKSK7eUDcW5eCX4vl9uW98mo648m9JY-Sc,73442
matyos/assets/logo.png,sha256=rTvcofdI1-aj0Nvuq9Gw9PeH_QzHi7BCYQtnkv1liSg,8647
matyos/assets/stoqos.png,sha256=tG0mbF8EQ-nJHlkwg2oD1SX87VVPny8W56lBstLlSS8,46394
matyos/assets/stoqos.svg,sha256=bxzI6woMYkf707-7QEMPYNKE31bTbJa7TMHhS8pwOCw,736
matyos/assets/icons/hyp.svg,sha256=aZur-0_HdRmP-eMlmgjVSOWhdSV7HurxJ7sRhdxiZKo,532
matyos/assets/icons/matyos.svg,sha256=_37deJus_K3M7sTAnuXDX0Z9Kz8Wu-z_0X9l7R2ZvPk,756
matyos/assets/icons/prf.svg,sha256=7B0kxpo31p3srW0YX8yuX985fEtsqhFpxSVz5IDF5H0,532
matyos/assets/icons/stoqos.svg,sha256=28fn-IvSnL5nkrGWBjtegzJeZDT6lRMIG6ubS1tYXxY,1055
matyos/assets/icons/test.svg,sha256=Jo55hYrJDVRtZ7_Xf6NwkZTWZPFTsxC8vrdLymMp44E,533
matyos/assets/icons/thm.svg,sha256=IedJqBqXvEawh0zG_9XNm8q6Cmi6gk4QytmlhA0t51Q,532
matyos/discovery/__init__.py,sha256=7_IKc5S7ERC_ey2DFSbQCM3w-my0mibzRLb9DMo7h40,2110
matyos/discovery/__main__.py,sha256=PInZVJwcazB44-JHP41zgiIi0lejdsKS-L3kkt1C0XU,3361
matyos/discovery/anomaly.py,sha256=sWORpgd9ZjgRyuJYvtlv_EzXeDPJot4Z64BNlRQZx7k,8563
matyos/discovery/cf.py,sha256=AIQVFfv8LXvpQVWCRkMPHEcGnWvmJ4Oqy3Zw_WeDo_Y,9901
matyos/discovery/domains.py,sha256=KkkYhn1EROMGrLb9yzcc6TgWeCjusSoWr3BrkvlwIpA,8401
matyos/discovery/engine.py,sha256=PCcAmfMtZwPMFBnNPBYtpq5iwQwwzJrLMTTHGkJMonQ,7786
matyos/discovery/formal.py,sha256=Qyj2zz7ZTmXWSpKuGAGcV72jguvpZLgJIsCDr0_ykHA,3616
matyos/discovery/generator.py,sha256=eUOX7AAK4VpojIM-jlrAOjwIM6t79upOX8ogE1-_jsE,6902
matyos/discovery/graph.py,sha256=_7Md4Pneo-Bqpf5NYtTDrO6OAMZzKLPYwE4b5OCDt_I,20679
matyos/discovery/jev.py,sha256=25NtnX0eDr_sOq488OAQx3G690-CFikIyPlXuJlClPs,7929
matyos/discovery/known.py,sha256=hA_dFqCOIyZMD35uWIQUF25HUj09fcIzGzsGdRmRRJs,11332
matyos/discovery/label.py,sha256=MQD8QpK4y0oMOJ7HdkqHV4ujKZkdqi2ZUKu1tctnQT4,2002
matyos/discovery/lean.py,sha256=D-LwCHkdXyhPg0zI67h-9xR_uodunq8NE2e5viMA2lY,17215
matyos/discovery/objects.py,sha256=jtjD0PXQAfocPTOkQ5MBEmjAoFdrKBU37BG_e2rvpOo,5400
matyos/discovery/reasoner.py,sha256=z1_BaxCS3tHcx1lgR8WH0DzN1KdcYFadXDMsoVkswrQ,3646
matyos/discovery/scorer.py,sha256=qMj9oxRD-sExKnqniGkWJ2ZTxmVrkjSk63R_OT0kzSU,7722
matyos/discovery/stoqos.py,sha256=ElUM3yISpabamUp03ruV5mcA9_nGycnAXZG_cNO1ZsU,50327
matyos/discovery/stoqos_evidence.json,sha256=EGsgMvgrZnD1MuGj0VjlE1mUZEP6TBu9JFgje7r9nww,6620
matyos/discovery/stoqos_mlp.json,sha256=NcLhjM2nJkMdhwTd68ilWL2rDksPrNRR303FUSPGtIE,7326
matyos/discovery/stoqos_weights.json,sha256=Bn3ZPnYA0byLciWmiYvjRnDlcTCqD1Esg4FKHeWkZ7g,752
matyos/discovery/store.py,sha256=hjsPXl--AqbmEy_71PnaPDK4Iaq27VkxozUD8TyB4D0,1407
matyos/discovery/triage.py,sha256=LvZhfbehYPlmL6YNJhzC5lbgKYf3NmcyQBds4lu3SiE,2384
matyos/discovery/verify.py,sha256=jrXOUR1HCTBOFciP8kMi-2YJ9tu_PZHVl5AD9VEtiS0,10905
matyos/frontend/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
matyos/frontend/surface.py,sha256=mFHqUafLKeiXN1imFMpRukpafJvD7e20srvt0Io9dbA,22820
matyos/frontend/tactics.py,sha256=BtZpYDkEUm1oa0nwI9y1XJTCR-HKqHummhUbtguv_SY,14869
matyos/kernel/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
matyos/kernel/core.py,sha256=RsYYPQL5Tomxi5uo8JmrdmbXXVmAFb4_PcfKX2PqUjM,19134
matyos/kernel/equality.py,sha256=UCM6Rjem_zTxoJnH6ruLIkzYfMSU9tK_OwlXWFEI5W4,3956
matyos/kernel/inductive.py,sha256=IE5KWgAxs74YDN2lhbS85M3GKQiEGL-f1FWTctnpB_Q,6479
matyos/logic/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
matyos/logic/realistic.py,sha256=E8gdBhBCIMLk7aqJuRWaUbEneTe2K8PENjww3_jdQUI,7378
matyos/problems/__init__.py,sha256=-ju-KPZ1XbyyTggkJcJbgS_1rBSrPQVApxWbQYTtSDw,580
matyos/problems/famous.py,sha256=NqcYaC068LujN_zwcx2lMc4Av7kP1A6qgqKO-8ZB2Lc,9494
matyos/project/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
matyos/project/engine.py,sha256=KN8eKRoW9iL1Lj1989Vhaa65Y2i5qMaUAZeC4r0EwBU,14975
matyos/stdlib/arith.elk,sha256=ynpxtwfbKjtiuO5GQacM8-kmE_e5G-hR8tu_j_tQLHU,1083
matyos/stdlib/bool.elk,sha256=A0MKMHI5qUxFHznA8FOw1UOmeh1Y2KGOA9vSWZ_l5Uc,660
matyos/stdlib/eq.elk,sha256=v0jZHorAYwwbCR6hYI9QGepzpWQROMcA2a4zDxkl_Mo,1093
matyos/stdlib/logic.elk,sha256=8DOrxoEchDsnI7lPyXPx_N2261SpAO8ST-fVn2lMuNs,516
matyos/stdlib/nat.elk,sha256=thhQB_TrYj9hwx1B4dW0LFD4I3Ctm8Na_YiGb_8S1Ps,9394
matyos-0.39.4.dist-info/licenses/LICENSE,sha256=CujJpJ8BE2kf8U1QpkuN2DHP0tLukUtnzlc9Gj7GLc8,1071
matyos-0.39.4.dist-info/METADATA,sha256=R2fKf0GFiouA4-6w8mEE9MqtUTdji9daSdnpcdE1dvI,15988
matyos-0.39.4.dist-info/WHEEL,sha256=YVMoNqKzERt-wjUZwJ33xBGAwnFl-4cqbYkTtWa4itE,91
matyos-0.39.4.dist-info/entry_points.txt,sha256=QvFP4MU24ytY1E7hahC0tUrGCqoyaEpR20cYrRlvAsE,142
matyos-0.39.4.dist-info/top_level.txt,sha256=8NGnQVoD7eVOmfxdUT5_TihuFy4EzX51jxpqlhkTXuM,14
matyos-0.39.4.dist-info/RECORD,,
