Repository navigation

Release 1.0 for rocq 9.0

ybertot released this 28 May 14:18

· 1 commit to rocq-v9.0 since this release

0d1b33e

Release version 1.0 for the Coq platform, compatible with Coq 9.0.

Assets 3