Timeline for Basics of real numbers in mathcomp (Coq)
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 14, 2022 at 15:59 | vote | accept | BallBoy | ||
| Jul 14, 2022 at 6:05 | answer | added | Pierre Roux | timeline score: 3 | |
| Jul 13, 2022 at 19:31 | answer | added | Julien Puydt | timeline score: 3 | |
| S Jul 13, 2022 at 16:25 | review | First questions | |||
| Jul 14, 2022 at 6:07 | |||||
| S Jul 13, 2022 at 16:25 | history | asked | BallBoy | CC BY-SA 4.0 |