Timeline for What technical and/or theoretical challenges are involved in automatically extracting proofs from books and papers into Coq code?
Current License: CC BY-SA 3.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| S Jul 7, 2015 at 18:27 | history | answered | cody | CC BY-SA 3.0 | |
| S Jul 7, 2015 at 18:27 | history | made wiki | Post Made Community Wiki by cody |