leanprover-community / replLinks

A simple REPL for Lean 4, returning information about errors and sorries.
128Updated 3 weeks ago

Alternatives and similar repositories for repl

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

Sorting: