archytaszx/__init__.py,sha256=GMRC74AYZXMkEui2StdpP0rxen-zX3lJsGdmhkbG6Hg,1151
archytaszx/embed.py,sha256=OZX2WSJ0Oi2dvuQviYuMJnky1IsAGJjzHW02WlFnudY,14703
archytaszx/algebra/__init__.py,sha256=L4JvvEX4Wjbl3I2IljmrwEy1Ytl_nvoM_pDnN85848U,654
archytaszx/algebra/dimension.py,sha256=WP0dxaLCpgLJYZu7XS4DCn5G5vm_RRjo3k2Gjmmi1nc,33581
archytaszx/algebra/phase.py,sha256=fKGIKSlJkcfgCuzHYTfz4V3Ij0wyaFw4W_cu8U0JcoQ,25689
archytaszx/algebra/scalar.py,sha256=FPN9hLKYRWeGHNLG-IuPINDKUnccietvXDavJ3PjSSI,61982
archytaszx/diagram/__init__.py,sha256=eJw0zGpgv7UcsIL9qtMkKHlqttcdI9Tbu9OSWiDvmVE,691
archytaszx/diagram/bangbox.py,sha256=l9tH6M47JR_szF8MWHhPgZhvuvWWsGlojgTviM44vwg,50658
archytaszx/diagram/compare.py,sha256=ZTGBa88Fdmo7tUVgKB5ccEINzlEA-2gd0Q-e7hUbjaE,17752
archytaszx/diagram/generators.py,sha256=kHHcKWo9KIIKusdCLFOOqO4DKlU44O5EzCnTnxV-3Oo,11219
archytaszx/diagram/graph.py,sha256=Iepx6NKfnPDxNoK0PMpYdYt8iwrOk2S2TasQgTAVp48,31170
archytaszx/diagram/scalable.py,sha256=tAo-mRG5q6ZleWTn6RbEP_DW40GEpauglB5Yt0Unido,40946
archytaszx/diagram/validate.py,sha256=AMoJinaansvIsTLS9WFpLihnvYJb7oGcXH9qaY4bhvM,50779
archytaszx/lean/ArchytasZX.lean,sha256=BU5112Bbp9h0W8sry0h_oGjFBaTgfxo3OBO-p3SqBvI,491
archytaszx/lean/lake-manifest.json,sha256=UuqEtG2yjEEpXs9fAdPW8YmS9yd7EM34-kQddQXbEZs,3124
archytaszx/lean/lakefile.toml,sha256=oeNJXv2BTGr2B42ArBFOVC_sZHmCUVYcz72WJ-xAUU4,189
archytaszx/lean/lean-toolchain,sha256=yl8fYB00xJB5441-cEHrDyqcIn-8HfD0BIIAaaBSMww,25
archytaszx/lean/ArchytasZX/Assume.lean,sha256=Es5XPuE8UVGZgH_j7coPXR12DE8qfaz_yWxmZgNjmBg,4121
archytaszx/lean/ArchytasZX/Ball.lean,sha256=z_d7QoJSems_owLi3EN_kh57a6wGjDRTOH1DKezCtas,12091
archytaszx/lean/ArchytasZX/Bialgebra.lean,sha256=RWYEugOyHD1DQ6ZffAhMk41w3KGQe86tHsEKzifT4uI,10794
archytaszx/lean/ArchytasZX/Bundle.lean,sha256=HCY8usQ0F8HcmCMgaocqHraPA7QrNNS5HbDFnTEzMN0,89613
archytaszx/lean/ArchytasZX/Closed.lean,sha256=W6HnyDg2ZlaekEUYK9zy2Lxw0S9IVWVukqil3ZwJHtU,5846
archytaszx/lean/ArchytasZX/Connective.lean,sha256=Ar82iIf0L0lnKXkDz4-hjlg1G5D8VqQe-6E1sJi2UXo,14042
archytaszx/lean/ArchytasZX/Contract.lean,sha256=zXCvuXWOt42RdN-CwKIo0aKdCq9IiHcrG6SA9Lm9XXE,14664
archytaszx/lean/ArchytasZX/Cyclo.lean,sha256=GTTv2XTfEYsBVE8VN47EBkzAt_HOHTfcT04MdcvYnUc,15495
archytaszx/lean/ArchytasZX/FuseB.lean,sha256=Ci7NlAQgrSUb2qnmoUaxlOqL0dvwE39hE4XCzpes7JY,15603
archytaszx/lean/ArchytasZX/Hopf.lean,sha256=dWDpRLPKQ70DBbUCP7zGOlyaHuhmsfO6ZrYcdWL1zuk,12825
archytaszx/lean/ArchytasZX/Iso.lean,sha256=SrodjMifXhqXyvr9fjEIvqLDt9g_S2S9vhanpfLGuwQ,6152
archytaszx/lean/ArchytasZX/Net.lean,sha256=ohwvzsryCB7YEiGiLpCTcTugN9ubMIZayDkGMWhFAOI,17804
archytaszx/lean/ArchytasZX/Port.lean,sha256=j23UBdNubUgmvmW6iy_UflfOSXY0qA2k21an_CAjQ6c,54375
archytaszx/lean/ArchytasZX/Refute.lean,sha256=uuwiczv2rYUloXPjFbah7_qDAevjYP3tqwhbdAuuvyw,23421
archytaszx/lean/ArchytasZX/Rules.lean,sha256=P8T__Z2yF-rd4QoAf_ds4TGI2X29Z9JdGTgyAXPe3Sk,14597
archytaszx/lean/ArchytasZX/Sym.lean,sha256=xskZs4g406U3GUEHlXx2ba8YWzCi1DhqgIS9STbrZRs,40784
archytaszx/lean/ArchytasZX/SymCanon.lean,sha256=t39YlFCyeodjlI0gdlez2_Lt3Yr8MbkXnkdx5i9j8Wg,34036
archytaszx/lean/ArchytasZX/SymNet.lean,sha256=F7aG96qONBY8cQg4f428CBpRhqIJVcYzgtHkWEXZZaE,45977
archytaszx/lean/ArchytasZX/SymNorm.lean,sha256=hlBv43GGYNoPrqANI9MJ7F7ngsnAMx1s0pMOFnWn7vA,26439
archytaszx/lean/ArchytasZX/Unfuse.lean,sha256=NnpUY4rnPCU8QQt2Hlp2k8rMojSEdXkPrc8usI6btr0,11651
archytaszx/lean/ArchytasZX/WRules.lean,sha256=XJqhO5mBPkQZ1iBr7nR1n9tKFVCHc2l1LxAgAaDAyM0,14517
archytaszx/lean/ArchytasZX/WZ.lean,sha256=jWM-AaS9RvGaCSUeXw81Jz5Q-km--FVsAH-tN853sVo,11985
archytaszx/lean/ArchytasZX/ZXRules.lean,sha256=s-RwYkRmN2hSDFtTTmnK8_K9FE6Id9ccvnDTt_3RirU,20539
archytaszx/repl/__init__.py,sha256=dDd2hqF6QYKAoVoM6wSB8zJaSjJ0WxBElLsiZUmkJPY,669
archytaszx/repl/commands.py,sha256=OWrik-C6vaCcxOjuXfKvFSkv5cx45jfWTS78dJ3NTJE,101367
archytaszx/repl/display.py,sha256=bdKThupbLVfTe7YCL6tY2xmpAm_n77D5HIRQ0h0oT9c,40342
archytaszx/repl/lang.py,sha256=yMKcFo93OMZZJo39MN4O0EOc2TXfU1UV35Ylv55rFd4,89032
archytaszx/repl/parser.py,sha256=z4Hj-lIFw4QfzVS9jX3yJRm_5B_FXBjRo5UzsnNTYao,105917
archytaszx/repl/printer.py,sha256=hpD0iLdbR8XdN8JJAZuhTrRm2WQAwU6UsW_ON9S_gyc,68220
archytaszx/repl/shell.py,sha256=gNGundIRHtzvWGW_wqId1O_HdZjPuMXHjDZGDGgHnWI,31873
archytaszx/repl/zxdraw.py,sha256=rJTQOwtJN0K9d288h5xahSRB4ytT36OOFRA9SSoJYDo,24599
archytaszx/repl/zxview.py,sha256=ZsgHXb0wtP1QYrXQSyRmGA5RhT6NTgr6Lp_C7_usZx0,34595
archytaszx/rewrite/__init__.py,sha256=9OQCYuVDyNH2s5uyszeXp_IHdvypr8oCtyKS91ZwuPY,678
archytaszx/rewrite/cache.py,sha256=iyOtQo_m9HvY0hC3oJzh197l2uJokOJwFgwZYFtfmwg,42775
archytaszx/rewrite/egraph.py,sha256=d-sIZV81o2tvuEwGaPk0BoEbJJeTSrvsbB0B2XrUtv4,27575
archytaszx/rewrite/engine.py,sha256=maqC-5fKkp02K1Ra4hSeYBZA35EuUHzG0R0OHUYUCic,47643
archytaszx/rewrite/match.py,sha256=KqVrnG4ss0TyjNpi09wbTg9c5u2ZaZXyEYpO7r4pW4o,118740
archytaszx/rewrite/match_box.py,sha256=yum7X1aZHt5Ph42ZpHnur7Q0RfIuOczpFRI4hrnKzOA,5224
archytaszx/rewrite/match_zxw.py,sha256=0JBGBfSrJp422SZgNEPjj5LLPR3gsgZNCX1QDzIeKt4,44205
archytaszx/rewrite/normal_form.py,sha256=3m3rq-wQa8vqf4WKhaewL4qOFx8nK3sHdwhFYaTsJmU,10824
archytaszx/rewrite/rule.py,sha256=ufb0Fl2_IT6iQblGPuOBqNbPSG2TxbPxUQNv9s4YGC4,28257
archytaszx/rewrite/rules_library.py,sha256=MjfQN6X1jOXA57Dup_h27lBIV477GOpYv2UMdsj3hY8,75371
archytaszx/rewrite/sheet.py,sha256=Cuh4j3d717xV6vJ01RDBJ5FfdmCPUcu5bzfbGg6NYBs,35506
archytaszx/rewrite/tactics.py,sha256=QfwqVdPFVBzsaU1PCjWFpasxUybY3usHaE9_QuAoy8k,39289
archytaszx/semantics/__init__.py,sha256=_H3ZMl1lmmjYwM75ZwcVhsDMGLg4VxZbnERM6oSVC7k,679
archytaszx/semantics/certificate.py,sha256=TFORumEaLd9Ml2sVTAdv4NrNtZbColEs9o368hG5JFg,27602
archytaszx/semantics/check.py,sha256=mHK9Jd9VKTp3nvQ28XdY6gKBGGnqCzQbi0IleEkfAzY,25324
archytaszx/semantics/contract_numeric.py,sha256=vZk2x8EJjq_tH_3DtdUmJeQ4e27XHlYWHAlGgnqjltE,16527
archytaszx/semantics/contract_symbolic.py,sha256=EmSjG6G_hhXQB4P2H4CztoTzooRBMdIt275JYU5dLtM,46607
archytaszx/semantics/decide.py,sha256=Q5CHQT82KaUdfPCIQeluao9ULUZVFSyihN9as4G9QF0,47643
archytaszx/semantics/denote.py,sha256=Wx92ZRliyFnxtAeKB9U4aUiFJ8vtMjUaMGWF2AUsRnw,15497
archytaszx/semantics/induction.py,sha256=quGWFdxvrLzInY0FhwwjQ68A3y-r_d5j5OGQtfoFh5Y,46376
archytaszx/semantics/interop.py,sha256=Dmfp_Dyb9BGjk5GF5un8T48FaOlXSMCXUt8GjvcVUlw,25969
archytaszx/semantics/kernel.py,sha256=HXdE4RYREEVe7vPtJqVeaDpoYrlOft4Eu7J2lHn5GTQ,23581
archytaszx/semantics/lean_net.py,sha256=oSsQGJN5FXVwXrCiwznF-aOWnvIPQ7WUBdUrBnTAD50,129402
archytaszx/semantics/lean_numeric.py,sha256=L1bfrRRCWtOb0z19UBi2QSyHync-RIQ7khA1aaEYiFM,30452
archytaszx/semantics/lean_refute.py,sha256=8uLb2Zq0pAmaSSDyo_0daaQ1tdMc9hRG0aOsaJJGvV4,52637
archytaszx/semantics/lean_scalar.py,sha256=TAiy9YDe8NCY14nkqR_zkwhm9kcK958l3jsixOUNogM,17949
archytaszx/semantics/lean_sym.py,sha256=4j_gpUFa8gA8yn1WL5C2XGJUd1tXNbP9-K4Lxr2n3SQ,73874
archytaszx/semantics/pathsum.py,sha256=j8rDzHkq5fMkdUuGrPMn0FV6XbeSpnYysoxwq2RyIto,62406
archytaszx/semantics/prove.py,sha256=4TT74ZJq5m20JExbp-fDa40LpM1HQo1mJW7XcygAy60,32928
archytaszx-0.19.6.dist-info/licenses/LICENSE,sha256=aVJ435GJkRh0VnfzlXLhW52XVARCCngk-kPtWdZ4tDY,10732
archytaszx-0.19.6.dist-info/METADATA,sha256=x7447z4NtywXIwFc0-eHbtu0Tt-zoV3Sg5mX97RKoow,23758
archytaszx-0.19.6.dist-info/WHEEL,sha256=mOdXR9C3wMVov7cSY8PY-XCzo3SmmWCHvGQr5csJoao,91
archytaszx-0.19.6.dist-info/entry_points.txt,sha256=yCxXpnSRDQfyIKUsfxPCox0oJ_mYCMYdV7i-7lQrD38,58
archytaszx-0.19.6.dist-info/top_level.txt,sha256=Gsuvs7MfHcqXm1NJciAq6BDTBo5qw8I7KZW9aw85BxM,11
archytaszx-0.19.6.dist-info/RECORD,,
