Code

add coq-mathcomp-real-closed.2.0.2#3256

Code

Merged

CohenCyril merged 1 commit intocoq:mastercoq/opam:masterfrom palmskog:add-real-closed-2.0.2palmskog/opam-coq-archive:add-real-closed-2.0.2Copy head branch name to clipboardDec 14, 2024

+40

Commits

Commits on Dec 14, 2024

• add coq-mathcomp-real-closed.2.0.2

  palmskog

  committed
  3e73945

  Copy full SHA for 3e73945