merge logic.v into mappings.v and rename erasing.lp into mappings.lp #5
Annotations
2 errors
|
The run was canceled by @fblanqui.
|
|
Run coq-community/docker-coq-action@v1:
theory_hol.v#L1
Cannot find a physical path bound to logical path
|
Loading