LeanInteract

https://github.com/augustepoiroux/leaninteract

LeanInteract is a Python package that provides seamless interaction with Lean 4 through its REPL,...

Tokens:2,413
Snippets:27
Trust Score:6.2
License:MIT
Update:1 year ago
Tokens:
Raw