A simple REPL for Lean 4, returning information about errors and sorries.
Lean Updated about 1 month ago 1 commits 228 stars
vortex-ai|Mirror: leanprover-community/repl (⭐228)
about 1 month agoAbout
A simple REPL for Lean 4, returning information about errors and sorries.
Readme
228 stars
69 forks