Wenda302 / IsarStepLinks

Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"
12Updated 4 years ago

Alternatives and similar repositories for IsarStep

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

Sorting: