A basic Lean implementation of https://arxiv.org/pdf/2310.01530.pdf
Repository from Github https://github.comhargoniX/pfmtRepository from Github https://github.comhargoniX/pfmt