Files
CoqResearch/_showcase/default/repo-git.md
T
alois cb931c5d23
Build and Deploy Jekyll / deploy (push) Successful in 39s
ajout pub repo
2026-05-26 12:40:04 +00:00

16 lines
439 B
Markdown

---
show: true
width: 4
date: 2020-01-12 00:01:00 +0800
---
<div class="p-4">
<h5>Conception de ce site</h5>
<hr />
<p>
Ce site web a été conçu et est maintenu par moi, sur la base très utile du projet Open-Source <a href=? >academics-homepage</a>.
</p>
<p>
Pour en savoir plus, allez voir <a href=https://git.alocoq.fr/alois/CoqResearch>mon instance git personnelle de ce site</a>.
</p>
</div>