Completed a substantial portion of the port of UTP Designs. The imper… #9
Annotations
1 error
|
Run lexbailey/isabelle-theory-build-github-action@v7
Process completed with exit code 1.
|
Loading