leanprover-community / replLinks

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

Alternatives and similar repositories for repl

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

Sorting: