arith_add is replaced by other definitions in the isabelle thory. #268
Annotations
3 errors
|
|
|
Set up Python
[notice] A new release of pip is available: 23.0.1 -> 24.0
[notice] To update, run: python3.10 -m pip install --upgrade pip
|
|
Run ocaml/setup-ocaml@v2
The operation was canceled.
|
Loading