Showing 2 of 2 repositories tagged #interactive-theorem-proving, ranked by stars
LeanInk is a command line helper tool for Alectryon which aims to ease the integration of Lean 4.
