Timeline for Questions about compilation errors in Coq
Current License: CC BY-SA 2.5
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 16, 2022 at 4:48 | comment | added | user1271772 | @yhirai , Tsuyoshi, in case if either of you hadn't seen this yet: Stack Exchange will very soon be launching a brand new site dedicated to computer-assisted proofs: please use my referral link here if you're considering to get an invitation to the Private Beta! I also posted on Meta about this. | |
| May 23, 2017 at 11:33 | history | edited | CommunityBot |
replaced http://stackoverflow.com/ with https://stackoverflow.com/
|
|
| Mar 16, 2017 at 15:45 | history | edited | CommunityBot |
replaced http://meta.cstheory.stackexchange.com/ with https://cstheory.meta.stackexchange.com/
|
|
| Sep 30, 2010 at 16:51 | comment | added | yhirai | A programming question can be on topic. Pfenning and Elliot: Higher-order Abstract Syntax (1988) (portal.acm.org/citation.cfm?id=54010&dl= ) is on how to use a proof assistant. I believe it is an important piece of theoretical computer science. | |
| Sep 30, 2010 at 14:32 | history | edited | Tsuyoshi Ito | CC BY-SA 2.5 |
added 48 characters in body; edited body
|
| Sep 30, 2010 at 14:21 | history | answered | Tsuyoshi Ito | CC BY-SA 2.5 |