analysis icon indicating copy to clipboard operation
analysis copied to clipboard
verified publisher icon math-comp

WIP: eudoxus reals

Open strub opened this issue 7 years ago • 4 comments

Because it's fun.

strub avatar Oct 17 '18 09:10 strub

We should maybe merge this one. @strub Do you want to squash some of the last commits which do not look informative? ("merge remote-tracking...", commit without commit message, "merge branch 'master'...)

affeldt-aist avatar Jan 27 '21 00:01 affeldt-aist

We should maybe merge this one.

Sorry, I didn't realize it was not yet completed. Or are the Admitted's irrelevant?

affeldt-aist avatar Mar 12 '21 04:03 affeldt-aist

Any progress?

affeldt-aist avatar Jul 03 '22 09:07 affeldt-aist

Maybe this could help: https://www.isa-afp.org/entries/Eudoxus_Reals.html

affeldt-aist avatar Nov 04 '23 04:11 affeldt-aist