| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| master | Historically, Turing did not actually prove the undecidability of the halting... | David A. Madore | 2 hours | |
 |
index : teach/inf110-lfi.git | |
| INF110 (logique et fondements de l'informatique) | git repository hosting |
| summaryrefslogtreecommitdiffstats |