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