veriphy/__init__.py,sha256=bf09jVAGhoit8Ac-YDNKEvpNuHgHUF3boL33JcqojCI,801
veriphy/py.typed,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
veriphy/certificates/__init__.py,sha256=Y-YfsLRqnm8vLn0CJwUOzlWyPzGsPNBYUln3zcW2qcg,176
veriphy/certificates/__main__.py,sha256=oDPw5AkslnJmoN3wGYlO-YgnTPpi0v68DF0wdlOfD3I,118
veriphy/certificates/_catalog.py,sha256=Lmgs5yrUhW4olfuqTA77NjhUpK3rst748G5JjYWc26o,4013
veriphy/core/__init__.py,sha256=X81Lm77oG9nzXhnV9ABfTGKh6taufi9TO7aWeyN3Rjw,753
veriphy/core/_errors.py,sha256=U-yMtZGs5eylsC_Iz6cs3eV3CjrJq0fGpUo5Y5gYCPQ,1945
veriphy/core/_project.py,sha256=66Je18b1Am3EjcxnYA9dc1UT5qsUSmsCLuQx3LEzuqI,1610
veriphy/core/_types.py,sha256=AwarPgNEMzdk6U-wfZ6LMZA4bN-URgNibzA5vmVJjCs,450
veriphy/core/_version.py,sha256=2qnXItbTKRHAMCU6L_aUdZnk7BsilbaFihfAexrM9qI,369
veriphy/oracle/__init__.py,sha256=MD4MocuLwPTHb-v3S2xuNsJAI8MvW5JTgoIEhhbTHi4,289
veriphy/oracle/_encoding.py,sha256=iV25ES-UfQXTN7J_nqJjQyRSrvSo-tyPhsDtmmUBiss,2548
veriphy/oracle/_protocol.py,sha256=ELTx-mwto8ROdRER5bN0vfGZuL13do8XB55GIIzNGSg,2057
veriphy/oracle/_registry.py,sha256=XEAxzTrQtDfgmDM9kJwjN9j6oJLOQkNVtmTdMUUSZUA,3179
veriphy/oracle/_scripts.py,sha256=8PJ1XEs1dgvKV-nuzqQrryQ_O7sf3oA6fP3j2EmEsGM,4291
veriphy/oracle/_symbolic.py,sha256=cg5-gNRf5XWoRXXmroj8WDDHMsnUSZCFinTEipfCfVE,6712
veriphy/sage_server/__init__.py,sha256=R491kQmK2grZ-pCRys8z_hGELhN51ZYcVJ4-S5TJtNs,169
veriphy/sage_server/__main__.py,sha256=e8G3PrEx5DohhtcsQsZ_jgxydQb2GMH3WJ80pqohJz8,114
veriphy/sage_server/_main.py,sha256=glCS-OCc2C6m4rYaBEcjnzke1d5ABt5tFJdaO-2EXfw,881
veriphy/toolkit/__init__.py,sha256=HVknXFdeKXpvmtDaCGyVXMbi45diozWyFJdORXS6zq4,9283
veriphy/toolkit/_algebraic.py,sha256=jL_3_KhB4lSLb5tvtMr41skv7HS39xxFAaafKc06g-8,8768
veriphy/toolkit/_clifford.py,sha256=yY9S4DPtDmqP4rCcSCUiaDr-Okyd5nlycKLb2FJ40FY,10995
veriphy/toolkit/_derivative.py,sha256=CDMMyHRVuXnm-wGfsjGn7LNOC0yrmnOO30lCaV6nwPY,13754
veriphy/toolkit/_emit.py,sha256=u_kz3SRFKw6jIxodGDOHgqovGFmVJGnDPZG1fCuZDBs,17891
veriphy/toolkit/_exponential.py,sha256=gWFPH2f_mH90H5sI-4MNp7vnAqhwv3tj4Hm6qvIb7Qo,5560
veriphy/toolkit/_fusion.py,sha256=L3n0L43gvbVod6NXoN0BnbEiDyYt-_Ii5Oxied73YS8,27540
veriphy/toolkit/_geometry.py,sha256=knFy7bdoDNWkjslLRKx7RjpEAXmLgsFfthnHqlDLzVQ,9132
veriphy/toolkit/_lean.py,sha256=KXPqbfEcVQXepfDTmASXRdO3AmBoDqYHg0OmgnEXY74,4367
veriphy/toolkit/_lie.py,sha256=CpjGI4U1yoTx5RJNG4--9QB4IkeKArPXVb4Oig0XAVA,17416
veriphy/toolkit/_lp.py,sha256=3xCwiBTu3k2Sggr7ZF9cnQvHQUkHvxvymQsPhO1W-iY,3015
veriphy/toolkit/_normal_form.py,sha256=4IeFQu0HQ7aWugmFZJeP_quaq6BtMSKeS0s7z5I8nPQ,3404
veriphy/toolkit/_number_field.py,sha256=dwSdWajArBJT0W1xRoenTYu4L8MSNk0cDwMlvTMyJFU,12672
veriphy/toolkit/_numerics.py,sha256=KaTVIRq6Z3GPsOBG93qA6quitWQkmnAxlofSgvB0Sa4,12736
veriphy/toolkit/_ode.py,sha256=FcNqF-f0t8WdN8oVfL-PEnwwv3xtbYiEISsdQZbA5N0,9886
veriphy/toolkit/_operators.py,sha256=1jY5Ka4K5Eu5xivwSCaQwnGuztNkHaqa2qzY96MsDfE,19418
veriphy/toolkit/_problem.py,sha256=RPHmT21U9zYzLnEfKbllfQ-XeIZW1PSTO7vtabBNU3Q,23183
veriphy/toolkit/_reflect.py,sha256=x-CySmC4jnuLLfWrCefUN_x9wmsr1bxSzpBQ5FGt018,7626
veriphy/toolkit/_representation.py,sha256=MtmgAWkeI_3Z7VrqmNxsG8tRketZH9XIxaXFyxUEqYA,20140
veriphy/toolkit/_sos.py,sha256=nqz6U6OruBB9q-Q0oxSL3CqW0demh_EKZBHUxXqa7zQ,6004
veriphy/toolkit/_summation.py,sha256=OsSNl1twmdRDY5K2ERlUZQxzcM6_haQXlPrRQFTpsCE,11206
veriphy/toolkit/_superalgebra.py,sha256=dB9998eH47lxZZ-IZhX2HW7u5iYNsZh7tWYfZaaH_qw,23600
veriphy/toolkit/_symbolic_emit.py,sha256=Aslk-LXpA137NN6vSi9LgehqTmz0gOg1c5C2ZKGGtzo,26460
veriphy/toolkit/_table.py,sha256=oyR_CYQ1Hw_rYEnjTW36wiiK4MJ2Nr_jK91vGMiHl5k,11163
veriphy/toolkit/core_table.json,sha256=xPBZF4hErFkTHD2TfFfs8okleNJ6YGQK3arKClTfSPA,8499
veriphy/toolkit/packs/physlib.json,sha256=Gg3sKuXKhhOhVA8nfb9HsCIDqHADgc1UV1DRYGoSYf4,2250
veriphy/translations/__init__.py,sha256=ZW1fT-0lfXBnWu70YtZVvzloEtFMMByouDV02uIPF1k,176
veriphy/translations/__main__.py,sha256=IWCCA_1pEkdEsW77VSw9HwJNID5MRBsYFd8HHdsBtCo,118
veriphy/translations/_catalog.py,sha256=EL-BlOBMheUQhFtFU7BXAWfJi9C1S3fJGnPaTMF9aWk,5655
veriphy-0.2.0.dist-info/METADATA,sha256=aoLAkRJ_mBtuq2EkF-PHGGZ7BfZwrIlOfqxznuaUKj8,12559
veriphy-0.2.0.dist-info/WHEEL,sha256=W3fkpkm7-wf9vBI5Z-7s0eWkeM-spu78I8Neb98DeEg,87
veriphy-0.2.0.dist-info/entry_points.txt,sha256=7S3CeyG-gM3YWnXDmPMdtWm4402hgvGOQbGnUEDtGhA,65
veriphy-0.2.0.dist-info/licenses/LICENSE,sha256=TRD-XzqhdrBbIpokiGa61wuDTBc_ElKoFP9HSNihODc,10255
veriphy-0.2.0.dist-info/RECORD,,
