notation
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| Use notation defined in module type |
|
3 | 147 | May 27, 2020 |
| Numeral Notation for `Fin.t` |
|
5 | 121 | April 6, 2020 |
| Notation substitution and identifiers |
|
1 | 98 | March 26, 2020 |
| Use notations to define an embedded language inside Coq |
|
10 | 350 | March 19, 2020 |