Skip to content

Docs/headlines

Max Ole Elliger requested to merge docs/headlines into main

I used some headlines via coqdoc, so that the html-output is more readable and structured.

Note, that I didn't change Induction.v, since I want to restructure this whole chapter.

Merge request reports

Loading