leanPrinter v.0.0.3
HanielB
released this
17 Jan 15:40
·
1687 commits
to leanPrinter
since this release
A limited version of the Lean printer for cvc5 proofs.