Loreon
Labs
Platform
Docs
Home
Ecosystems
Python
lambda-notebook
Lambda Notebook: Formal Semantics in Jupyter
Python
Emerging
digital-fragments
jupyter
jupyter-notebook
lambda-calculus
GitHub
Website
Stars
30
Forks
6
Contributors
1
Last push
2mo ago
Recent commits
Latest commits.
fix: remove a chained `@classmethod`
f40728a
advil
2mo ago
fix: remove a use of an old syntax from docs
590f4da
advil
3mo ago
docs: fix a mistake in docs
60f5e6c
advil
3mo ago
fix: add some missing `self`s
2bf9b8e
Kyle Rawlins
6mo ago
fix: fix reload_lamb
dec1a69
Kyle Rawlins
6mo ago
feat: experimental support for VSCode HTML+math rendering
8a796cd
Kyle Rawlins
6mo ago
docs: add bugfixes to changelog
7ad1454
advil
6mo ago
fix: further address colab rendering
8830021
Kyle Rawlins
6mo ago
Top contributors
Builders behind this project.
rawlins
644 commits
