en ¦ fr > Formalizations

Zenodo

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


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.