https://github.com/thery/FlocqLecture
Exercises on working with real numbers and floats in Coq using the Flocq library - inequalities, rounding modes, formats, Sterbenz lemma, IEEE754.
https://github.com/thery/FlocqLecture
Exercises on working with real numbers and floats in Coq using the Flocq library - inequalities, rounding modes, formats, Sterbenz lemma, IEEE754.