diff --git a/theories/prelude/tactics.v b/theories/prelude/tactics.v
index 33f8ecb5..b6226d57 100644
--- a/theories/prelude/tactics.v
+++ b/theories/prelude/tactics.v
@@ -6,7 +6,9 @@ From iris.proofmode Require Import proofmode.
 
 Set Default Proof Using "Type*".
 
-(** * Tactics from Dimsum *)
+(** * Tactics from Dimsum 
+    https://gitlab.mpi-sws.org/iris/dimsum/-/tree/master?ref_type=heads
+*)
 (** 
     - inv_all
     - case_bool_decide (_)