Timeline for Scope limits on proof assistants (e.g. Coq)
Current License: CC BY-SA 3.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 12, 2014 at 19:46 | comment | added | Gilles 'SO- stop being evil' Mod | @DavidRicherby No, Coq questions do pretty well on SO. | |
| Nov 12, 2014 at 18:47 | comment | added | David Richerby | I doubt that redirecting Coq questions to Stack Overflow is worthwhile. I imagine they'd be very likely to get bounced back here or to CSTheory. | |
| Mar 8, 2012 at 2:43 | history | answered | Gilles 'SO- stop being evil' | CC BY-SA 3.0 |