search

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

Bump lean version #41

Closed 0art0 closed 1 year ago

0art0 commented 1 year ago

Upgrade to leanprover/lean4:nightly-2023-01-16.

gebner commented 1 year ago

Superceded by #43.