Timeline for Real numbers in Coq
Current License: CC BY-SA 4.0
1 event
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 23, 2021 at 3:33 | history | answered | Arthur Azevedo De Amorim | 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 | |
|---|---|---|---|---|---|
| Oct 23, 2021 at 3:33 | history | answered | Arthur Azevedo De Amorim | CC BY-SA 4.0 |