zhangir-azerbayev / repl

A simple REPL for Lean 4, returning information about errors and sorries.
10Updated last year

Alternatives and similar repositories for repl:

Users that are interested in repl are comparing it to the libraries listed below