Update lean-toolchain and CLI improvements

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-toolchain and CLI improvements #17

Closed insightmind closed 2 years ago

insightmind commented 2 years ago

Description

This PR includes an update to the latest Lean 4 nightly toolchain and some smaller fixes and improvements. This includes a fix for a wrong badge link in the README.md. Additionally, I added a new CLI flag --prettify-output because the verbose output is too noisy for it being actually useful for running the test cases.

Kha commented 2 years ago

Thanks!