A simple REPL for Lean 4, returning information about errors and sorries.
Primary LanguageLean
This repository is not active