From 631dd251c74cb056a52bf3074181dac540efdef7 Mon Sep 17 00:00:00 2001 From: Henri Saudubray Date: Tue, 17 Dec 2024 19:49:24 +0100 Subject: [PATCH] feat: added jfla article --- man.html | 32 +++++++++++++++++++++++++++----- pdf/articles/jfla-2025.pdf | Bin 0 -> 501785 bytes 2 files changed, 27 insertions(+), 5 deletions(-) create mode 100644 pdf/articles/jfla-2025.pdf diff --git a/man.html b/man.html index 2360609..2649374 100644 --- a/man.html +++ b/man.html @@ -29,6 +29,28 @@ formal logic, proof assistants, and programming languages. +
+
Publications
+ +
Experience
- L2 Traineeship. Back-end development on containerized + L3 Traineeship. Back-end development on containerized infrastructure in Python. Web app design with React.js, Flask and Docker.
@@ -130,8 +152,8 @@