Stream: Coq devs & plugin devs

Topic: CI problems


view this post on Zulip Enrico Tassi (Apr 29 2022 at 15:12):

it's called "deadline approaching"

view this post on Zulip Gaƫtan Gilbert (May 02 2022 at 11:17):

so what do we do with unimath?


Last updated: Feb 05 2023 at 20:03 UTC