Timeline for Proof assistants for mathematics
Current License: CC BY-SA 4.0
11 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 29, 2022 at 14:53 | history | edited | The Amplitwist | CC BY-SA 4.0 |
(since this thread is already bumped) updated URL to Hales' website, edited to allow automatic expansion of title of related MO question
|
| Apr 13, 2017 at 12:58 | history | edited | CommunityBot |
replaced http://mathoverflow.net/ with https://mathoverflow.net/
|
|
| Feb 18, 2010 at 13:53 | history | edited | Charles Stewart |
retag
|
|
| Feb 13, 2010 at 18:56 | answer | added | kakaz | timeline score: 6 | |
| Dec 15, 2009 at 11:25 | answer | added | user2596 | timeline score: 6 | |
| Dec 11, 2009 at 17:13 | vote | accept | LSpice | ||
| Dec 11, 2009 at 9:09 | answer | added | Neel Krishnaswami | timeline score: 21 | |
| Dec 10, 2009 at 20:40 | answer | added | Matti Åstrand | timeline score: 10 | |
| Dec 10, 2009 at 16:27 | answer | added | compguy | timeline score: 4 | |
| Dec 9, 2009 at 5:51 | comment | added | Harry Gindi | Yeah, it's called graduate student! =p | |
| Dec 8, 2009 at 22:25 | history | asked | LSpice | CC BY-SA 2.5 |