Skip to content

adapting coq-htt to rocq-9.2/mathcomp-2.6.0 - #48

Closed
aleksnanevski wants to merge 6 commits into
masterfrom
v2.3.0
Closed

adapting coq-htt to rocq-9.2/mathcomp-2.6.0#48
aleksnanevski wants to merge 6 commits into
masterfrom
v2.3.0

renaming coq -> rocq

4cc8a84
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar