leanprover
LeanInk
Lean

LeanInk is a command line helper tool for Alectryon which aims to ease the integration of Lean 4.

Last updated May 26, 2026
68
Stars
18
Forks
13
Issues
0
Stars/day
Attention Score
35
Language breakdown
Lean 99.8%
Shell 0.2%
Files click to expand
README
No README available.
🔗 More in this category

© 2026 GitRepoTrend · leanprover/LeanInk · Updated daily from GitHub