Geeks
zhangir-azerbayev
/
repl
A simple REPL for Lean 4, returning information about errors and sorries.
Primary Language
Lean
repl GitHub
Markdown
Readme
0
Issues
10
Stargazers
0
Watchers
Stargazers
albertqjiang
University of Cambridge
alexjbest
King's College London
alok
Berkeley, CA
alreadydone
Shenzhen / Heidelberg
cctien
The University of Chicago
HaotianLiu123
ondanaoto
oscarlaird
utensil
wellecks
Carnegie Mellon University