repl. A simple REPL for Lean 4, returning information about errors and sorries.

github.com/kmill/repl
by @kmill

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.