Timeline for What is the current state of proof assistants?
Current License: CC BY-SA 4.0
3 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
May 31, 2022 at 5:24 | vote | accept | gmod | ||
May 31, 2022 at 5:24 | comment | added | gmod | Oh okay, I see. I guess I misunderstood what proof assistants were about. Perhaps I was thinking about the automated theorem provers, which I will look into. I have recently watched a few videos about how proof assistants work, and they seem very interesting. Thank you so much for your response; it was very informative. I also appreciate the game you linked, I have been playing around with it a bit :) | |
May 30, 2022 at 0:56 | history | answered | Jason Rute | CC BY-SA 4.0 |