Timeline for what symbols can I use in coq?
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 4 at 18:02 | vote | accept | RataMágica | ||
| Apr 4 at 15:35 | answer | added | Hiroki Chen | timeline score: 5 | |
| Apr 3 at 15:55 | vote | accept | RataMágica | ||
| Apr 3 at 15:55 | |||||
| Apr 3 at 12:54 | answer | added | Meven Lennon-Bertrand♦ | timeline score: 2 | |
| S Apr 2 at 21:04 | review | First questions | |||
| Apr 2 at 22:58 | |||||
| S Apr 2 at 21:04 | history | asked | RataMágica | CC BY-SA 4.0 |