en ¦ fr > Talks

The Curious Case of Case – Correct & Efficient Representation of Case Analysis in Coq and MetaCoq

Vidéo

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