Timeline for What are some examples of proof assistants doing something useful?
Current License: CC BY-SA 4.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 21, 2022 at 21:24 | history | edited | taylor.2317 | CC BY-SA 4.0 |
added 1 character in body
|
| S Feb 8, 2022 at 19:06 | review | First answers | |||
| Feb 9, 2022 at 7:39 | |||||
| S Feb 8, 2022 at 19:06 | history | answered | Mike Shulman | CC BY-SA 4.0 |