Skip to content

Add a Version file allowing to identify the stdlib version from Rocq#263

Open
mattam82 wants to merge 1 commit into
rocq-prover:masterfrom
mattam82:stdlib-version
Open

Add a Version file allowing to identify the stdlib version from Rocq#263
mattam82 wants to merge 1 commit into
rocq-prover:masterfrom
mattam82:stdlib-version

Add a Version file allowing to identify the stdlib library version fr…

16cb25a
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
rocq-elpi
succeeded May 11, 2026 in 1m 7s