Showing 1 of 1 repositories tagged #alectryon, ranked by stars
LeanInk is a command line helper tool for Alectryon which aims to ease the integration of Lean 4.
