Deuxfleurs/talks
17
1
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

tweak

Browse source
This commit is contained in:
Armaël Guéneau 2025-04-03 10:11:50 +02:00
parent dac9b7583f
commit 3ea18c3c8c
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
2025-04-03-stack/talk.tex
View file

@ -80,7 +80,7 @@
\begin{itemize}
\setlength\itemsep{0.5em}
\item chargé de recherche à Inria Toccata
\item domaine de recheche : méthodes formelles, preuve de programmes \\ (Coq, Iris, OCaml, Why3...)
\item domaine de recheche : méthodes formelles, preuve de programmes, sémantique \\ (Coq, Iris, OCaml, Why3...)
\item membre du projet Creusot, un outil de vérification de code Rust
\item intérêt grandissant pour les systèmes distribués grâce à Deuxfleurs !
\end{itemize}