A simple REPL for Lean 4, returning information about errors and sorries.
Primary LanguageLean
No one’s watching this repository yet.