Output modern HOL4 syntax, fix up builds of HOL4 examples #5
Annotations
4 warnings
|
Run coq-community/docker-coq-action@v1
symbol l is unreachable from any of the start symbol(s).
|
|
Run coq-community/docker-coq-action@v1
symbol l is unreachable from any of the start symbol(s).
|
|
Run coq-community/docker-coq-action@v1
symbol l is unreachable from any of the start symbol(s).
|
|
Run coq-community/docker-coq-action@v1
symbol l is unreachable from any of the start symbol(s).
|
Loading