Stream: Coq devs & plugin devs

Topic: CI problems

Enrico Tassi (Apr 29 2022 at 15:12):

it's called "deadline approaching"

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