Skip to content

leanPrinter v0.0.4

Latest

Choose a tag to compare

@HanielB HanielB released this 10 Mar 15:10
· 1407 commits to leanPrinter since this release

A limited version of the Lean printer for cvc5 proofs.