add pi calculus

66cf02fc · a981bb1c7e0ce2978a9ad4ef24c4acc4 · 634b7ccd · 66cf02fc
Commit 66cf02fc authored Sep 03, 2020 by a981bb1c7e0ce2978a9ad4ef24c4acc4
Expand all Hide whitespace changes
Inline Side-by-side

Showing with 147 additions and 3 deletions

toy_notebook_fr.ipynb module2/exo1/toy_notebook_fr.ipynb +147 -3

No files found.
--- a/module2/exo1/toy_notebook_fr.ipynb
+++ b/module2/exo1/toy_notebook_fr.ipynb