diff --git a/web/authors/trelat/index.html b/web/authors/trelat/index.html
new file mode 100644
--- /dev/null
+++ b/web/authors/trelat/index.html
@@ -0,0 +1,99 @@
+
+
+
+
+
+ Vincent Trélat- Archive of Formal Proofs
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ Vincent Trélat
+
+
+
+
+
+
+
+
E-Mails 📧
+
+
+
+
Entries
2022
+
+
+ Aug 17
+
+
+
+
+
+
+
+
+
+
+
\ No newline at end of file
diff --git a/web/authors/trelat/index.xml b/web/authors/trelat/index.xml
new file mode 100644
--- /dev/null
+++ b/web/authors/trelat/index.xml
@@ -0,0 +1,20 @@
+
+
+
+ trelat on Archive of Formal Proofs
+ /authors/trelat/
+ Recent content in trelat on Archive of Formal Proofs
+ Hugo -- gohugo.io
+ en-gb
+ Wed, 17 Aug 2022 00:00:00 +0000
+ -
+ Correctness of a Set-based Algorithm for Computing Strongly Connected Components of a Graph
+ /entries/SCC_Bloemen_Sequential.html
+ Wed, 17 Aug 2022 00:00:00 +0000
+
+ /entries/SCC_Bloemen_Sequential.html
+
+
+
+
+