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: Oct 13 2024 at 01:02 UTC