chore: bump to nightly-2023-08-19

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

Closed kim-em closed 1 year ago

kim-em commented 1 year ago

I will merge this with intermediate commits for the sake of remembering which tests changed at which points.