Stream: Coq users

Topic: Mutual induction/wiki


view this post on Zulip Bas Spitters (Apr 14 2021 at 20:56):

Many of the links here are broken. It looks like a general conversion problem, so it will probably also show up on other pages
https://github.com/coq/coq/wiki/Mutual-Induction


Last updated: Feb 08 2023 at 23:03 UTC