leanprover/LeanInk 📦

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

Language: Lean - Size: 1.23 MB - Last synced at: 3 days ago - Pushed at: 10 months ago - Stars: 61 - Forks: 16