All Git Users → rawlins

1 open source projects by rawlins

[ Open user page on Github ]

1. lambda-notebook

Lambda Notebook: Formal Semantics in Jupyter

✭ 16

Jupyter Notebook python jupyter semantics lambda-calculus jupyter-notebook linguistics digital-fragments

1-1 of 1 user projects