leanprover / LeanInk

LeanInk is a command line helper tool for Alectryon which aims to ease the integration of Lean 4.
Apache License 2.0
60 stars 16 forks source link

Update Lean & minor fix #14

Closed Kha closed 2 years ago

Kha commented 2 years ago

I'm not completely sure where the error is coming from in my specific case as the error message is missing from the final output, but the pretty printer is known not to be 100% robust in general, so this is a good idea in any case.