zhangir-azerbayev / ProofNetLinks

Benchmark for undergraduate-level formal mathematics
107Updated 7 months ago

Alternatives and similar repositories for ProofNet

Users that are interested in ProofNet are comparing it to the libraries listed below

Sorting: