Timeline for What are some examples of proof assistants doing something useful?
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 9, 2022 at 4:20 | comment | added | Jason Rute | @taylor.2317 I don't quit see the point of accepting answers to "big list" questions like this. I think if nothing else it discourages others from posting their own answer. (I assume you were looking for more than one answer, and there certainly are many in this case.) | |
| Feb 8, 2022 at 23:18 | comment | added | Wojowu | How is the last example an example to what is being asked? With 4CT I understand a formal proof helped settle the skepticism people had towards its highly computational proof, but I don't think any such worries were present for Feit-Thompson. | |
| Feb 8, 2022 at 18:15 | vote | accept | taylor.2317 | ||
| Feb 8, 2022 at 18:14 | history | answered | Nike Dattani | CC BY-SA 4.0 |