Skip to content

remove metacoq from opam deps

e3b6139
Select commit
Loading
Failed to load commit list.
Merged

Adding support for untyped conversion-checking #64

remove metacoq from opam deps
e3b6139
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar