leanprover-community/repl
A simple REPL for Lean 4, returning information about errors and sorries.
Lean
Stargazers
- 0art0IISER Pune
- adamtopaz
- adolfontDAINF - UTFPR
- agentofuser@Keykapp
- albertqjiangUniversity of Cambridge
- alokBerkeley, CA
- alreadydoneHeidelberg / Shenzhen
- AppServiceProviderDhaka, Bangladesh
- artisdomAuckland
- augustepoiroux
- bakerjd99Meridian Idaho
- BrentKylling
- ConnBreathnachDublin, Ireland
- fly51flyPRIS
- fzyzcjy+=1 (seriously this is the name)
- GanjinZeroDAMO Academy
- haileyschoelkopf@EleutherAI
- hmltn2Prosody
- iehalityTohoku University
- Jack-Pumpkinhead
- johnjyang@millionjs
- llllvvuu
- michael-swanAustin, TX
- omasanoriJapan, or anywhere else
- oscarlaird
- Peiyang-SongCalifornia Institute of Technology
- ramonfmirLondon
- SandalotsVolcanak
- SnO2WMaNチルノのパーフェクトさんすう教室
- theoxoMassachusetts Institute of Technology
- tkersey@thisisartium
- tnaoiLos Angeles
- utensil
- wellecksCarnegie Mellon University
- yangky11Meta Fundamental AI Research (FAIR)
- zhangir-azerbayev