# notation

Topic | Replies | Views | Activity | |
---|---|---|---|---|

Defining and working with trivial finite sets like {x, y, z} easily | 6 | 130 | July 8, 2021 | |

Bug in the parser? | 5 | 202 | April 1, 2021 | |

What determines whether a custom entry is used for printing? | 5 | 232 | October 6, 2020 | |

Use notation defined in module type | 2 | 372 | May 27, 2020 | |

Numeral Notation for `Fin.t` | 4 | 422 | April 6, 2020 | |

Notation substitution and identifiers | 0 | 281 | March 26, 2020 | |

Use notations to define an embedded language inside Coq | 9 | 941 | March 19, 2020 |