c180f3fb1809c3e4d25c73b3ebcde222947ab750df852694e843ec96f41dbb2a  README.md
a1c789d51f9f6bf1e6dacf6c6deef4e2c4b0050fb95228522eab075c72d2f7b2  VERIFICATION.json
b6745fb61109630b3b6d81ee47f119a406b399ce5735a1cc27bbe67564953a70  artifacts/U21_Lean_v1.0.zip
78b89b51d931c214009060a0fef6b772f68e4a7955d371f3d671683052758e8a  main.pdf
81ef8fc8ed89a6465852c1fce22c63a58a0ceae4d317933a31720530d125c97e  main.tex
40518c06b2348670a9601f8ae5d599b3f6d00b1b876f9807c9640e00b744b32e  supplement.pdf
83bf88fc90c0aae3a5f3e8fa738a2526a4902fe1758a079bf7d0c187e6572ad5  supplement.tex
535f7b080d194cb5091342250463105e4dec5774b1a58f5102c9354f9370bd04  verification/check_examples.py
e8b5ac98aa7f48d2cc50b9ed07d7a790c3be1c36a80712064156b2dc0555b4bb  verification/check_frontiers.py
5ef206051e6e6df13d613ef536a2b3fcf2573b782eda6f73ef30c07e49ffdf41  verification/check_time_bounds.py
81eca12cc5ccc6529ecf756b2ccf92423bf6e812dff9d107e3e4badfa49db8d3  verification/literal_frontiers.c
13a8750d5733d6aaaf92f24b5522fbf9b475465d407074b02120a66d51bb7eb4  verification/reference_core.py
fe1d4d25a9e92c5291060b44ad9e6072d797239a79159f70022c61993c66cb51  verify.py
