You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The text was updated successfully, but these errors were encountered:
brando90
changed the title
failures from frunning my pycoq_version of install_coqgym_deps.sh
failures from running my pycoq_version of install_coqgym_deps.shDec 11, 2022
deps that failed to install sure
maybe deps that failed to install
lin-alg
I think failed but can't quite tell, the lib seems in the right place, resolves these 2 issues(cd coq-projects/lin-alg && make "$@" && make install)
UCSD-PL/proverbot9001#61The text was updated successfully, but these errors were encountered: