rawlins / lambda-notebookLinks

Lambda Notebook: Formal Semantics in Jupyter
28Updated last week

Alternatives and similar repositories for lambda-notebook

Users that are interested in lambda-notebook are comparing it to the libraries listed below

Sorting: