Code

adapt to change in coq2html#1148

Code

Merged

affeldt-aist merged 1 commit intomath-comp:mastermath-comp/analysis:masterfrom affeldt-aist:coq2html_2024014affeldt-aist/analysis:coq2html_2024014Copy head branch name to clipboardJan 14, 2024

+52-52

Commits

Commits on Jan 14, 2024

• adapt to change in coq2html

  affeldt-aist

  committed
  728a9df