Lean 4 REPL

https://github.com/leanprover-community/repl

Lean 4 REPL is a read-eval-print-loop for Lean 4 that communicates via JSON, supporting command...

Tokens:44,998
Snippets:561
Trust Score:9.1
License:Apache-2.0
Update:2 weeks ago
Tokens:
Raw