cf0fc2875b5e18cdd37835c5a940afa1c2299b0b2ae704e35dcce72ec7eaee88  files/LICENSE.md
0572ca1cca58dd2111db86ae88eb0d00e8edf83adf4a35e954b4585565e50bdc  files/README.md
70f712127d7ebad7cfde430f563cfacd4454656dbb99a43c2eee5d0416715f87  files/editable/traditional/Paper_I_Monograph.tex
031fc7f7d91230e4551f4da3bd8d620afa7b22f00abbca0f8dfc1bb061126971  files/formal/README.txt
655c8a91b4f727d415eeddb1d188b766a88544a3d60883157b0b180607e71d55  files/formal/coverage/COVERAGE_108.json
719c60e960515ab9d9d95be0bcac1731efcc7c0184966fb83528c83eae7a6dab  files/formal/runtime_specification/LICENSE
cc516c7a40b78121d07dccf7aec258920c499efe7bbf4937754f0e272420e509  files/papers/Paper_I_Lean_Guide_Final.pdf
35f0f7511ed0fbeffac16977ec50028c0e93e5da57c1e6c7748cee89c70a5183  files/papers/Paper_I_Traditional_Final.pdf
711ae8b3747b7ee1a75b9c9d0f0283dd6c1ece633055f192e4349d58fb1e1ecb  files/source/traditional_v1.3.1/LICENSE_STATUS.md
