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 5 at 7:40 | comment | added | Andrej Bauer | I rest my case :-) | |
| Apr 3 at 19:48 | comment | added | Pierre Courtieu | Looking at : github.com/coq/coq/blob/… and github.com/coq/coq/blob/… should be quite self contained. To use this files: ` Require Import Utf8 Utf8_core. ` | |
| Apr 3 at 15:56 | comment | added | RataMágica | it would be great | |
| Apr 3 at 15:55 | vote | accept | RataMágica | ||
| Apr 3 at 15:55 | |||||
| Apr 3 at 14:10 | comment | added | Andrej Bauer | Perhaps it's worth showing a simple working example, so beginners don't have to spend an hour figuring out the correct import statement? | |
| Apr 3 at 12:54 | history | answered | Meven Lennon-Bertrand♦ | CC BY-SA 4.0 |