Timeline for Basics of real numbers in mathcomp (Coq)
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 14, 2022 at 16:00 | comment | added | BallBoy | Ah, I had been trying to typecast with 2%R instead of 2%:R, this works. Thank you! | |
| Jul 14, 2022 at 15:59 | vote | accept | BallBoy | ||
| S Jul 14, 2022 at 6:05 | review | First answers | |||
| Jul 14, 2022 at 9:33 | |||||
| S Jul 14, 2022 at 6:05 | history | answered | Pierre Roux | CC BY-SA 4.0 |