Timeline for what symbols can I use in coq?
Current License: CC BY-SA 4.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 4 at 20:06 | history | edited | Hiroki Chen | CC BY-SA 4.0 |
added 1 character in body
|
| Apr 4 at 18:02 | vote | accept | RataMágica | ||
| Apr 4 at 15:35 | history | answered | Hiroki Chen | CC BY-SA 4.0 |