rawlins / lambda-notebookLinks

Lambda Notebook: Formal Semantics in Jupyter
27Updated last month

Alternatives and similar repositories for lambda-notebook

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

Sorting: