Skip to content

Compat with Rocq (without coq shim)

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

Compatibility with Rocq (without coq shims) #1852

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