leanPrinter v0.0.1
HanielB
released this
08 Nov 21:15
·
1771 commits
to leanPrinter
since this release
A limited version of the Lean printer for cvc5 proofs.