add links

forked-from-1kasper · Dec 14, 2023 · 6190727 · 6190727
1 parent b80aadf
commit 6190727
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/GroundZero/Theorems/Weak.lean b/GroundZero/Theorems/Weak.lean
@@ -10,7 +10,9 @@ open GroundZero.Types
 
   Directed version is given in the “A Type-Theoretical Definition of Weak ω-Categories”, Eric Finster, Samuel Mimram.
   * https://arxiv.org/abs/1706.02866
-  * https://github.com/ericfinster/catt.io/
+  * https://github.com/ericfinster/catt.io
+  * https://github.com/ericfinster/catt
+  * https://github.com/smimram/catt
   * https://github.com/thibautbenjamin/catt
 -/