A basic Lean implementation of https://arxiv.org/pdf/2310.01530.pdf
Primary LanguageLean
No issues in this repository yet.