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