Stream: Hierarchy Builder devs & users

Topic: coq-elpi


view this post on Zulip Cyril Cohen (May 18 2020 at 17:24):

Should there be a separate coq-elpi stream?


Last updated: Jan 29 2023 at 15:02 UTC