Link to Assumptions

TheoWinterhalter · Jul 22, 2024 · d4f6d84 · d4f6d84
1 parent 79c9c81
commit d4f6d84
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/doc/index.md b/doc/index.md
@@ -1,6 +1,9 @@
 Formalisation of the "Dependent Ghosts Have a Reflection For Free" paper
 ========================================================================
 
+The list of lemmas and theorems of the paper is replicated in
+[Assumptions](coqdoc/GhostTT.Assumptions.html).
+
 ### Utility
 
 General tactics, lemmas and notations are defined in