Code

MathComp 2 boilerplate#11

Code

Merged

palmskog merged 2 commits intomastercoq-community/comp-dec-modal:masterfrom mc2coq-community/comp-dec-modal:mc2Copy head branch name to clipboardJul 23, 2024

+69-91

Commits

Commits on May 9, 2023

• tutorial mathcomp-2

  affeldt-aist

  committed
  39a892e

  Copy full SHA for 39a892e

Commits on Jul 22, 2024

• update boilerplate for MathComp 2

  palmskog

  committed
  30740d6

  Copy full SHA for 30740d6