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