dab10f387648ce498ab2ca180df105988418cc7d866eb42dd284b93e8a605552  lean-proof-compilation-specification.pdf
081e15fe17feb603d9706ab80b113f857fe4e29153e6c00640772e9ebdce7c68  lean-proof-compilation-specification.tex
01d7c08552a707a35645a92a2fb576b4f1f027fc794796c32cbf7a79edb321c2  journal-manuscript.txt
4a32c40f3111aff6216d86035a25a0890bbfa14e31889f6093ec23fdb2f70aa7  journal-submission-draft.json
a884c6dfd4b79724ab77ca336212408f3d3e1fe599bfcbd4534abaca6208e039  implementation-contract.json
8d3fe482ebd681fa6e7a78e68b675f7706c83a27ce3499ee7f78b4a6283859a6  reference_model.py
6d7e3418e1af731491a9ada383a74886006615cf113a5cba6929d993c0ef2abc  test_reference_model.py
12005fc23611f6b7878bcfd34111b73f50a0367e41a68c2561a16fa2eedf7259  reference-test-results.json
652da0381c20ebcc5d3a7c209b403807bec0c89869c1ae0f60c7b74188635e55  README.txt
