Began the process of factoring out assertional reasoning techniques, … #18
Annotations
1 error
|
Run lexbailey/isabelle-theory-build-github-action@v7
Process completed with exit code 1.
|
Loading