en ¦ fr > Talks

Verifying dependent type-checkers

Slides

Sous Licence Creative Commons CC0, source sur github. Développé avec Pelican. Thème adapté de pelican-svbhack par Giulio Fidente.