Notation for a coinductive type


1

93

November 4, 2021

Overload list notation


3

131

September 27, 2021

Defining and working with trivial finite sets like {x, y, z} easily


6

172

July 8, 2021

Bug in the parser?


5

257

April 1, 2021

What determines whether a custom entry is used for printing?


5

308

October 6, 2020

Use notation defined in module type


2

430

May 27, 2020

Numeral Notation for `Fin.t`


4

508

April 6, 2020

Notation substitution and identifiers


0

341

March 26, 2020

Use notations to define an embedded language inside Coq


9

1123

March 19, 2020
