en ¦ fr > Formalizations

LogRel Coq

GitHub

MetaCoq

Web Page GitHub

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