Stream: Coq devs & plugin devs

Topic: open recursion pretyper

Gaëtan Gilbert (Apr 26 2023 at 19:04):

Did this end up being useful for anything?

Last updated: Dec 05 2023 at 12:01 UTC