alectryon topic
List
alectryon repositories
LeanInk
60
Stars
16
Forks
Watchers
LeanInk is a command line helper tool for Alectryon which aims to ease the integration of Lean 4.
