leanprover/LeanInk
LeanInk is a command line helper tool for Alectryon which aims to ease the integration of Lean 4.
LeanApache-2.0
Stargazers
- 0art0IISER Pune
- abduld
- adamtopaz
- adrianmartir
- alcidesLASIGE, University of Lisbon
- alreadydoneHeidelberg / Shenzhen
- AnderssorbySopra Steria
- antonkovGoogle
- beike-zh
- bentoner
- bonawentura
- brendanzab@yeslogic
- bryangingechen
- chabulhwiSemmalgil
- ConnorBaker@tweag
- cpitclaudelEPFL
- hargoniXLean FRO
- huynhtrankhanh@coq-community
- insightmindApple Inc,
- intoverflowSeattle, WA
- jaalonsoUniversidad de Sevilla
- jcommelin—
- KhaLean FRO
- knothedKarlsruhe
- lecopivo
- leodemouraAWS
- nikitavoloboevTbilisi
- nrolland
- philzook58Draper
- ramonfmirLondon
- subfish-zhouPrague
- tnaoiLos Angeles
- utensil
- vishallamaUSA
- Vtec234Pittsburgh, USA
- xubaiwACEM, SJTU