Code

coq-formalv release 1.3.0#3325

Code

Merged

silene merged 2 commits intocoq:mastercoq/opam:masterfrom quimFIB:coq-formalv-1.3.0quimFIB/opam-coq-archive:coq-formalv-1.3.0Copy head branch name to clipboardFeb 4, 2025

+150

Commits

Commits on Jan 31, 2025

• coq-formalv release 1.3.0

  quimFIB

  committed
  74520e3

  Copy full SHA for 74520e3

Commits on Feb 4, 2025

• Modify logpaths according to pull request sugg.

  quimFIB

  committed
  6ae19c7

  Copy full SHA for 6ae19c7