https://github.com/bollu/lean-to

Jupyter notebook for the Lean4 programming language
https://github.com/bollu/lean-to

lean4

Last synced: 2 days ago
JSON representation

Jupyter notebook for the Lean4 programming language

• Host: GitHub
• URL: https://github.com/bollu/lean-to
• Owner: bollu
• Created: 2022-01-11T15:50:55.000Z (almost 3 years ago)
• Default Branch: master
• Last Pushed: 2022-04-25T04:57:38.000Z (over 2 years ago)
• Last Synced: 2024-11-20T12:46:02.368Z (about 1 month ago)
• Topics: lean4
• Language: C++
• Homepage:
• Size: 410 KB
• Stars: 24
• Watchers: 3
• Forks: 0
• Open Issues: 4
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# Lean-to

> A Jupyter shelter for your Lean4 code.

```bash=

make install-kernel

make run-cpp-notebook

```

##### Python packaging hell

- https://github.com/jupyter/jupyter_console/issues/241

##### References

- Simple kernel with raw zmq requests: https://github.com/dsblank/simple_kernel

- IHaskell widget spec: https://github.com/gibiansky/IHaskell/blob/master/ihaskell-display/ihaskell-widgets/MsgSpec.md

- Jupyter kernel: https://jupyter-client.readthedocs.io/en/stable/kernels.html

- IPyWidgets models (markdown docs): https://github.com/jupyter-widgets/ipywidgets/blob/master/packages/schema/jupyterwidgetmodels.v8.md#buttonmodel-jupyter-widgetscontrols-140-buttonview-jupyter-widgetscontrols-140

- IPyWidgets models (json): https://github.com/jupyter-widgets/ipywidgets/blob/79312fb164e058c3a2fddd9f3ef35493515ed64b/packages/schema/jupyterwidgetmodels.latest.json