Timeline for Formalization of constructive books
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 18 at 14:21 | comment | added | Jason Rute | It’s hard to know what the OP is looking for, but does this go beyond the definition of real numbers? Is any interesting analysis formalized? What makes Bishop’s works so interesting is that he covered large chunks of analysis especially in measure and probability theory. | |
| Sep 18 at 12:22 | history | undeleted | Naïm Favier | ||
| Sep 18 at 12:22 | history | deleted | Naïm Favier | via Vote | |
| Sep 18 at 12:22 | history | answered | Naïm Favier | CC BY-SA 4.0 |