diff --git a/GroundZero/Theorems/Weak.lean b/GroundZero/Theorems/Weak.lean
index 43a0bca..132be4b 100644
--- 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
 -/