alois/CoqResearch
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Actualiser _publications/2025/2025-stage-L3.md
Build and Deploy Jekyll / deploy (push) Successful in 43s
Details

Browse Source
This commit is contained in:
Aloïs Coquillard
2026-05-26 13:14:37 +00:00
parent 4998ee592a
commit 378365d28d
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
_publications/2025/2025-stage-L3.md
+1 -1
View File
@@ -19,5 +19,5 @@ authors:
- Niamh Clarke
- Stéphane Heuraux
links:
Rapport: https://alocoq.fr/assets/docs/Stage-L3-preview.pdf
Extrait du rapport: https://alocoq.fr/assets/docs/Stage-L3-preview.pdf
---