Reservoir

bollu/lean-to

Jupyter notebook for the Lean4 programming language

GitHub Link Documentation

Pick a version!

TODO: should show a time axes that allows the users to view, filter and click copy the lakefile config.

README

Lean-to

A Jupyter shelter for your Lean4 code.

make install-kernel
make run-cpp-notebook
Python packaging hell References