Timeline for Compactness in Bishop's constructive mathematics
Current License: CC BY-SA 3.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 13, 2017 at 12:58 | history | edited | CommunityBot |
replaced http://mathoverflow.net/ with https://mathoverflow.net/
|
|
| Feb 14, 2016 at 9:37 | vote | accept | Mikhail Katz | ||
| Jan 15, 2016 at 13:24 | answer | added | Andrej Bauer | timeline score: 8 | |
| Jan 15, 2016 at 8:29 | history | asked | Mikhail Katz | CC BY-SA 3.0 |