Stream: MetaCoq

Topic: maste


view this post on Zulip Jason Gross (Apr 05 2023 at 04:23):

I see there's a new branch on metacoq called maste; I take it this is a mispush?

view this post on Zulip Matthieu Sozeau (Apr 05 2023 at 06:22):

Indeed

view this post on Zulip Matthieu Sozeau (Apr 05 2023 at 06:22):

I'll delete it


Last updated: Oct 13 2024 at 01:02 UTC