Stream: Coq devs & plugin devs

Topic: open recursion pretyper


view this post on Zulip Gaëtan Gilbert (Apr 26 2023 at 19:04):

Did this end up being useful for anything?


Last updated: May 18 2024 at 10:02 UTC