Stream: MetaCoq

Topic: News


view this post on Zulip Matthieu Sozeau (Sep 15 2020 at 19:31):

Just some information for those of you relying on MetaCoq:

view this post on Zulip Karl Palmskog (Sep 15 2020 at 19:46):

may I suggest that the beta version(s) be called 1.0~beta1+8.XX


Last updated: Aug 11 2022 at 01:03 UTC