Stream: MetaCoq

Topic: default branch


view this post on Zulip Jason Gross (Sep 30 2023 at 04:23):

is coq-8.16 supposed to still be the default branch?

view this post on Zulip Yannick Forster (Sep 30 2023 at 15:26):

No :)


Last updated: Jul 23 2024 at 21:01 UTC