en ¦ fr > Formalisations

Zenodo

Lorsqu'elles sont décrites dans une publication, mes formalisations sont archivées sur Zenodo.


LogRel Coq

GitHub

MetaRocq

Web Page GitHub

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