1 result found Sort:

16
60
apache-2.0
14
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