leanprover / LeanInk

LeanInk is a command line helper tool for Alectryon which aims to ease the integration of Lean 4.
60Updated 7 months ago

Alternatives and similar repositories for LeanInk:

Users that are interested in LeanInk are comparing it to the libraries listed below