Timeline for Proof Assistants in OOP languages
Current License: CC BY-SA 4.0
10 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 16 at 16:52 | answer | added | Christopher King | timeline score: 2 | |
| Feb 15 at 17:43 | vote | accept | Kid A | ||
| Feb 15 at 17:43 | comment | added | Kid A | @AgnishomChattopadhyay Hi, thank you, but I am willing to make one probably with some other people who are specialized in this area. I am a theoretical physicist and the project is an open-source symbolic computation and mathematical reasoning software. | |
| Feb 14 at 11:53 | answer | added | Jason Rute | timeline score: 4 | |
| Feb 13 at 14:40 | comment | added | Agnishom Chattopadhyay | I hope you enjoy self-studying HoTT, Logic and Category theory. However, if you just want to learn how to use Proof Assistants, just start with a tutorial for your favourite proof assistant and start writing some proofs | |
| Feb 13 at 13:32 | history | became hot network question | |||
| Feb 13 at 9:27 | answer | added | Andrej Bauer | timeline score: 2 | |
| Feb 12 at 23:09 | answer | added | Alex Nelson | timeline score: 3 | |
| S Feb 12 at 18:24 | review | First questions | |||
| Feb 12 at 23:11 | |||||
| S Feb 12 at 18:24 | history | asked | Kid A | CC BY-SA 4.0 |