utensil / lean4_jupyterLinks

A Lean 4 Jupyter kernel via repl
26Updated 6 months ago

Alternatives and similar repositories for lean4_jupyter

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

Sorting: