Code

Flocq 4.1.2#2694

Code

Merged

silene merged 1 commit intocoq:mastercoq/opam:masterfrom silene:flocq-4.1.2silene/opam-coq-archive:flocq-4.1.2Copy head branch name to clipboardSep 1, 2023

+31

Commits

Commits on Sep 1, 2023

• Flocq 4.1.2

  silene

  committed
  fc7d6f6