Update Equations tutorial for coq-equations 1.3.1 #97
Annotations
1 error and 1 warning
|
Run coq-community/docker-coq-action@v1
Found no subterm matching "In ?a (filter l p)" in the current goal.
|
|
Post Run actions/checkout@v4
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
Loading