Skip to content

INSTALL.md: fix typo

67669e9
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

Briefly mention Rocq in INSTALL.md #2321

INSTALL.md: fix typo
67669e9
Select commit
Loading
Failed to load commit list.