add new zulip question

katydid · Aug 28, 2024 · 1a5daf8 · 1a5daf8
1 parent 034c697
commit 1a5daf8
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/README.md b/README.md
@@ -168,5 +168,6 @@ And thank you to everyone on [leanprover zulip chat](leanprover.zulipchat.com):
 
 Where I asked many questions about:
 
+  * [how to hack around the lack of coinduction](https://leanprover.zulipchat.com/#narrow/stream/270676-lean4/topic/how.20to.20hack.20around.20the.20lack.20of.20coinduction)
   * [Proof relevance](https://leanprover.zulipchat.com/#narrow/stream/270676-lean4/topic/Proof.20relevance)
   * [is there a refl for Type](https://leanprover.zulipchat.com/#narrow/stream/270676-lean4/topic/.E2.9C.94.20is.20there.20a.20refl.20for.20Type)