Search results

Hyperparameters from file

Status: Open.

#126 In UCSD-PL/proverbot9001;

· HazardousPeach opened on Apr 16, 2024

writing the opam activation env without relative paths in build_coq_projects.sh

Status: Open.

#99 In UCSD-PL/proverbot9001;

· brando90 opened on Feb 22, 2023

Is the .gitmodules file incomplete -- e.g. it's misisng constructive-geometry coq project?

Status: Open.

#98 In UCSD-PL/proverbot9001;

· brando90 opened on Feb 21, 2023

search-report fails on the pinned math-comp version. coq_serapy.CoqExn: Expected prenex implicits for tag_of_pairK

Status: Open.

#97 In UCSD-PL/proverbot9001;

· aleloi opened on Feb 19, 2023

deps/verdi doesn't seem to work for coq 8.12 even with the --ignore-constraints-on=coq trick, is it really needed?

Status: Open.

#93 In UCSD-PL/proverbot9001;

· brando90 opened on Feb 15, 2023