Timeline for Can the development of proof assistants make mathematicians switch their framework?
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 18, 2022 at 14:41 | history | edited | Andrej Bauer | CC BY-SA 4.0 |
deleted 21 characters in body
|
| Feb 18, 2022 at 14:19 | history | edited | Andrej Bauer | CC BY-SA 4.0 |
deleted 14 characters in body
|
| Feb 18, 2022 at 13:47 | comment | added | Jacques Carette | I wish I could upvote 10 times for just the phrase "But what really matters, in my opinion, is that they actually start to believe that proofs are mathematical objects." | |
| Feb 18, 2022 at 9:23 | history | edited | Andrej Bauer | CC BY-SA 4.0 |
added 593 characters in body
|
| Feb 18, 2022 at 9:16 | history | answered | Andrej Bauer | CC BY-SA 4.0 |