2002 and 2003 isabelle and coq fixes (except 2003_b5 for coq)#167

Merged

GeorgeTsoukalas merged 4 commits intomainfrom jasper

Jul 26, 2024

+65-54

Commits on Jul 16, 2024

2002 isabelle and coq fixes
leejasper851
committed

Commits on Jul 17, 2024

Commits on Jul 22, 2024

Merge branch 'main' of https://github.com/trishullab/PutnamBench into jasper
leejasper851
committed