teach/inf110-lfi.git - INF110 (logique et fondements de l'informatique)

index : teach/inf110-lfi.git

INF110 (logique et fondements de l'informatique)

git repository hosting

summary refs log tree commit diff stats

Branch	Commit message	Author	Age
master	Rocq is the new Coq.	David A. Madore	39 hours

generated by cgit v1.2.3 (git 2.39.1) at 2026-01-21 02:37:27 +0000