Update Julien's talk

NaoMod · Jan 27, 2025 · f3dfa7a · f3dfa7a
1 parent c35a028
commit f3dfa7a
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/seminar/2425/_posts/2025-01-27-Julien Cohen.md b/seminar/2425/_posts/2025-01-27-Julien Cohen.md
@@ -1,7 +1,8 @@
 ---
 layout : null
-title : "TBA"
+title : "Rocq/Coq Tutorial"
 speaker : "Julien Cohen"
 start : "0930"
 end : "1000"
----
+---
+https://coq.inria.fr/