ericw/Lambda_Calcul
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
3 Commits 1 Branch 0 Tags 105 KiB
Jupyter Notebook 94.1%
Python 5.6%
TeX 0.3%
97bdb6f954
Go to file
ericw 97bdb6f954 Mise à jour de 'lambda_calcul.md'
2021-01-29 17:15:49 +01:00
lambda_calcul.ipynb premier dépôt 2021-01-29 17:11:07 +01:00
lambda_calcul.md Mise à jour de 'lambda_calcul.md' 2021-01-29 17:15:49 +01:00
README.md premier dépôt 2021-01-29 17:11:07 +01:00

README.md

Quelques essais autour du 𝜆-calcul

TODO

Rédiger le texte.