A dataset that evaluates formally proving and autoformalizing undergraduate mathematics.
hoskinson-center/proofnet · main · files are served by the source, never re-hosted here
