Timeline for Real numbers in Coq
Current License: CC BY-SA 4.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 20, 2021 at 0:37 | vote | accept | Bruno | ||
| Oct 23, 2021 at 9:06 | history | answered | V. Semeria | CC BY-SA 4.0 |
Find centralized, trusted content and collaborate around the technologies you use most.
Learn more about CollectivesTeams
Q&A for work
Connect and share knowledge within a single location that is structured and easy to search.
Learn more about TeamsGet early access and see previews of new features.
Learn more about Labs| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 20, 2021 at 0:37 | vote | accept | Bruno | ||
| Oct 23, 2021 at 9:06 | history | answered | V. Semeria | CC BY-SA 4.0 |