1 result found Sort:
LeanInk is a command line helper tool for Alectryon which aims to ease the integration of Lean 4.
This repository has been archived
(exclude archived)
Created
2021-10-15
260 commits to main branch, last one 4 months ago