Skip to content

Compat with Rocq (without coq shim)

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

Compile with rocq without coq shim #17

Compat with Rocq (without coq shim)
2be1d49
Select commit
Loading
Failed to load commit list.