a727ff30ce42c214585a56be3f7e33fe72d23d87af872f3d3538ffc945e70a57  README.md
bb946edac238afc71efa4513924444fd952ec7a8a07f5dcea502b752439c2c84  SHA256SUMS.txt
332ca3b11b685b7dc718aafc0fdfdb0d5e8cdd487cc716e1f8b415bd0e82059e  assets/evidence-engine.js
395d9cd498f30b71873c7f911a4ac875337e17f040b0f39b9f08c1fe31608eb3  assets/formula-math.mjs
5f13145db5c57c569c38dbb8b608cbbeaa62f6f479b2acebbbf1f42ffabbec8c  assets/formula-workbench.css
e372dba2df09583ccfc028ded030e7b29a09a644ec72e2c447b3accebad341d5  assets/formula-workbench.mjs
712ee282ce2f052af062d34c7f4a1a2ea59df71e5bca3b3f4c7ed7a2d60b2ce3  data/arbd-evidence-ledger.json
a38679e892378927cbdb133038ac59c3c45b4670a2e759073266ac7cbd97c7b5  data/evidence-ledger.json
e9bba1cf5ea33cf8f1f4f8a3d9ce29d758294480dc088ecd4e0b5001c5630a36  data/formula-ledger.json
502870dbbeaf9bd2948b0a86354186d73635288e7258b94d8c86c95aca79aff1  data/formula-mathml.json
d06a457083b3205bacfbcf61e0d4f01c29eb45034274c894496526225ce57dbe  data/pn2-statistical-audit-ledger.json
5986d7770ef23b3b98dafdf609d907abf118b9674caaf45d1450ff8acb92fe07  data/proof-source-data.json
cdf4971bf3d55448950ff93bc4056ccdcc41302c6ce011f724c6475a0be6626a  en.html
48832c03d955a2d0e5fb17930d6bd36816379eb2764508f4950d594c4c931224  index.html
1ba3020bc47ecf390f5fe157e2fe14d57b90e3ea37360587bd4e7c6d5729b124  publications/pn2/PN2_FORMULA_BLOCK_C3_8U_v1_0_RU.html
cd72f2436c061d759aebe89583a90baa1226d8627639521a6fecbe3c8c0033df  publications/pn2/PN2_FORMULA_BLOCK_C3_8U_v1_0_RU.md
e1b854ca78110cac111fcd1c58dff3f85891c28064c86b176a48db8dae69aa5f  publications/pn2/PN2_FORMULA_BLOCK_C3_8U_v1_0_RU.pdf
3ee60bbf641fc14c7e3e287956f87939ae96de3be1277604049a002fb64e7a2f  publications/pn2/PN2_FORMULA_BLOCK_C3_8U_v1_0_RU.tex
9b1bcebaaa874bda300e09d98df318c414a8449204768f227810df1e9762ab9a  publications/pn2/PN2_STATISTICAL_AUDIT_C3_8T_v1_0_RU.pdf
5f686dd1f563d7cdb73f67f74ce674064a5f184c0a596df6af8a924f41a6dfc6  publications/pn2/PN2_THEOREM_v1_0_FORMULA_EXCERPT_v1_0.pdf
616b770d5c4a7313a0525bd50a65c780c4a4fe3576eb8199c5511b9b5f4c6cdb  qa/c3.8u/MATH_FIXTURES.json
ac8b8d54961663960d4a00ee1979a001a5e32ca96d9cc2990746b7d1cf354aec  qa/c3.8u/NUMERICAL_QA.json
d982027ae5cffddd8609059c88799a8c9effbb07e229858345ecfde895723b46  scripts/test_formula_math.mjs
a8388fbf0359573318ad4a74224efb3536dc4408a5adcf30cbc74808924f8e87  zh.html
