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:5 days ago
Tokens:
Raw