nondim/__init__.py,sha256=a3MxFY4Aim-PXfGakFUx1mz0r8f0Pui0fkpLQR6ZiNc,991
nondim/__main__.py,sha256=bYt9eEaoRQWdejEHFD8REx9jxVEdZptECFsV7F49Ink,30
nondim/buckingham.py,sha256=FKn2nLpPyi7eVIAoJeX32c5ChDQVDJY3uJQiyRaP_GE,1402
nondim/catalog.py,sha256=amZ0UjGehe3ImjxC_KMtwL5PWgpm3zcTNizX0lUqAY0,2794
nondim/cli.py,sha256=f3U8Epk2W4cm9R6NxaXauaXlx4cAtJHepih75YpCWVs,8108
nondim/constraints.py,sha256=J88e3yVg1rx3J5SScTdMUWsR8_2IfrSyVFeBu9xqZeM,10002
nondim/experiment_sir.py,sha256=QsuNXZZeCIpKuRMwvXKCmsB69h31rmdEkcL2eM0UGRo,11785
nondim/identifiability.py,sha256=HTxI90LHCjfP2Dqwc7nngQwCCE6QkHozwFQmkdIfeWA,6848
nondim/intlinalg.py,sha256=8UhY80y2cmHSYBSVaYC7n0y2A-qg3bciFRoMZ8R5ha0,4693
nondim/lean_export.py,sha256=KkTbF04holMxRJGX8BigHdNhyLj3UqKWe9j1HBLNJCM,18667
nondim/leanproject.py,sha256=TZ5YSd5jllzKwHqRLXb9L7YLLVdhXJgxBHC_x4blN1w,2592
nondim/model.py,sha256=OPFO7nGiYluR08J9aAret93-dYFBNKU1WCC2CK-ZPYU,7160
nondim/models.py,sha256=9PAfFwyWIcoqjAIX4GZjG7mBnMAKdpUjTz9Dx8QdX8Y,5296
nondim/report.py,sha256=jOx16q0p8pz2772JG12ybd06Y4YvM3rS44k9mhgPDvw,5598
nondim/scaling.py,sha256=st8E1rFTzxiVmhCFSTYxJEUuSa3MxHDwDDgVqPVfkHo,10064
nondim/simulate.py,sha256=GI3IXochRoXWkIGAvgjf6uS3E6huXMiWUhh0gGpzSMw,2075
nondim/tour.py,sha256=RBTiMqPNrIJjkiKxaux33RLCN5SSndsS0vEfxSX3v0c,2633
nondim/_lean_template/NondimVerify/Basic.lean,sha256=YRfLCYRNo5Wd4G68pe3ejHe3w-eBhZRdqNDTg_PRZ3s,3837
nondim/_lean_template/NondimVerify/Cert.lean,sha256=DS9NLCiH0csJiFvpPHyAOXfbWFypBgBHxNa6ByTFAAg,305
nondim/_lean_template/NondimVerify/Exercises.lean,sha256=iNbBms1X7deibvOWedNNSDpEH0nsBGqq7x4Qow6V5uc,2485
nondim/_lean_template/NondimVerify/Playground.lean,sha256=x50MFNfkbXqGe7v_l7P1Y8R851J3tTdnjGgmam0X0Lc,835
nondim/_lean_template/NondimVerify/SIR.lean,sha256=PhrorcvkNdp4wuQc42NRUU0EdoNaFNTuL3n6Fv7jOfA,4921
nondim/_lean_template/NondimVerify/Theory.lean,sha256=N18oFgYsc9PdIo72kqcX1h9pchnOzmuqyNmcYHm0THg,2502
nondim/_lean_template/NondimVerify/Cert/Logistic.lean,sha256=tq4suKiVC-pg7EmKu9S1tigH-qazbb_kcLevumLIRbQ,4799
nondim/_lean_template/NondimVerify/Cert/LotkaVolterra.lean,sha256=zMuiMhgx1L0d3wfjJcFLhDXLanPHB9IjyU-ysveih1s,8367
nondim/_lean_template/NondimVerify/Cert/MichaelisMentenIC.lean,sha256=WiJGYuJa2W9OSdVrFHBFR-gcyuhCxxPBzIrIQsTJDdY,10992
nondim/_lean_template/NondimVerify/Cert/RosenzweigMacArthur.lean,sha256=Lbxq_njS-FXm1ghF996BB9x-loYAvWZH_-7idx9bxIc,9370
nondim/_lean_template/NondimVerify/Cert/SIR.lean,sha256=KfhYcB2gZ_D0Kxyec52Aga0uGkopioYEo-iTdJMhHOQ,10843
nondim/_lean_template/NondimVerify/Cert/SpuriousFixed.lean,sha256=45dF2ecU4ih76rqPYJ05Cyh4dIY0NwVswYcz_CaPXz8,4174
nondim/_lean_template/NondimVerify.lean,sha256=HcHo58HZL-nT43rBA0u3l-lKmLKA9gmG9-RQVeMHeBE,102
nondim/_lean_template/NondimVerifyTest/Basic.lean,sha256=EERhOFULqtYnBg_OQhhUdi561kLzvhtkteG0R-id5cI,1840
nondim/_lean_template/NondimVerifyTest/Certificates.lean,sha256=pmI71k6GsyUUKvVjHYUfiTwuI3f8DYKl4-hxRGcC50I,2574
nondim/_lean_template/NondimVerifyTest/SIR.lean,sha256=mQvCrwGROx5p3rmGoQC3Smhkr4mePWWSISgmXZ4JXe8,1993
nondim/_lean_template/NondimVerifyTest/Tactics.lean,sha256=R03LLh_IAvKF0imSqFJAG8uz8IVJEakoAXXcCNhnhps,2487
nondim/_lean_template/NondimVerifyTest/Theory.lean,sha256=5bcJE4iVot2Yu9sqkRbXLzXVzpGgrJMGgPmwW7Sh8I4,1344
nondim/_lean_template/NondimVerifyTest.lean,sha256=qTviP_hl6wE2FjfF2xeGKD2XG-9WiRkjzPc2qswwaQU,158
nondim/_lean_template/lake-manifest.json,sha256=hG2jz1-eFhoZHgD2duMDjdOTOVpg5_KnqYxVY7OCX6E,3126
nondim/_lean_template/lakefile.toml,sha256=p8JzalQd5no0lx3JbDRL8efj9oKe1oHLjYDUtizHxN4,407
nondim/_lean_template/lean-toolchain,sha256=yl8fYB00xJB5441-cEHrDyqcIn-8HfD0BIIAaaBSMww,25
verified_nondim-0.1.0.dist-info/METADATA,sha256=mjdrwmqzZhC_8jTE8LVLBIT9Tq_pT9RioNheDrzuseU,4814
verified_nondim-0.1.0.dist-info/WHEEL,sha256=2iZrJkDIkeDh0k9SikKMqFuRP-ua6mb4Ir1AsER4BEw,87
verified_nondim-0.1.0.dist-info/entry_points.txt,sha256=ZXkCJaPseYZz1S4qG4Et74CFkKHrFQC0XqNaouz1ygM,43
verified_nondim-0.1.0.dist-info/licenses/LICENSE,sha256=83wSddBRmojI82PxTll2G8Qb4yIUKK8djssZHaBsWGY,1070
verified_nondim-0.1.0.dist-info/RECORD,,
