Lambda Notebook: Formal Semantics in Jupyter
☆30Apr 3, 2026Updated last week
Alternatives and similar repositories for lambda-notebook
Users that are interested in lambda-notebook are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Glossa latex resources☆14Mar 13, 2026Updated 3 weeks ago
- Lecture notes on intensional semantics by Kai von Fintel and Irene Heim☆47Aug 11, 2024Updated last year
- Experiment with synthetic domain theory in cubical agda