Everything relevant from here was incorporated into https://www.isa-afp.org/entries/IEEE_Floating_Point.html and is maintained there.
helli / isabellebasicnumericalproofs Goto Github PK
View Code? Open in Web Editor NEWbachelor thesis in informatics