issues
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
chore: bump lean
#43
Closed
gebner
closed
1 year ago