Timeline for Wanted: a "Coq for the working mathematician"
Current License: CC BY-SA 3.0
9 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 28 at 10:48 | comment | added | Daniel Donnelly | Links are broken mon :| . I get 404 page not found error on the Github link | |
| Jul 26, 2017 at 3:52 | comment | added | user48801 | Note that some instances of code have notes on the side. The authors are refining it since some mistakes or shortcomings are identified in the draft. No doubt due to the complexity of this machinery! Note that the other suggestion, by Chlipala, is cited here so I imagine they had in mind making this a mathematics-oriented upgrade, but that's just speculation. | |
| Jul 25, 2017 at 20:51 | comment | added | darij grinberg | +1. I should have posted this one myself, as I've read the first 3-4 chapters of the book half a year ago! (That said, it is still an uphill battle; the book is much much better than what other sources I have seen before, but this is still one of the steepest learning curves I've seen in a programming language.) | |
| Jul 25, 2017 at 20:43 | history | edited | user48801 | CC BY-SA 3.0 |
Grammar
|
| Jul 25, 2017 at 9:02 | review | Late answers | |||
| Jul 25, 2017 at 9:25 | |||||
| Jul 25, 2017 at 8:54 | comment | added | Dima Pasechnik | This looks very interesting and promising. | |
| Jul 25, 2017 at 8:52 | history | edited | user48801 | CC BY-SA 3.0 |
Noticed author of question listed in preface!
|
| Jul 25, 2017 at 8:47 | review | First posts | |||
| Jul 25, 2017 at 8:47 | |||||
| Jul 25, 2017 at 8:47 | history | answered | user48801 | CC BY-SA 3.0 |