utensil / lean4_jupyter

A Lean 4 Jupyter kernel via repl
21Updated 2 months ago

Alternatives and similar repositories for lean4_jupyter:

Users that are interested in lean4_jupyter are comparing it to the libraries listed below