notation
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| What determines whether a custom entry is used for printing? |
|
5 | 80 | October 6, 2020 |
| Use notation defined in module type |
|
2 | 166 | May 27, 2020 |
| Numeral Notation for `Fin.t` |
|
4 | 156 | April 6, 2020 |
| Notation substitution and identifiers |
|
0 | 111 | March 26, 2020 |
| Use notations to define an embedded language inside Coq |
|
9 | 448 | March 19, 2020 |