Last released Dec 26, 2023
A package bridging Python and Lean verification for proof search using language models
Supported by
