Stream: Coq users

Topic: Trying out metacoq

Notification Bot (Jul 23 2020 at 07:11):

This topic was moved by Théo Zimmermann to #MetaCoq > Trying out metacoq

Last updated: Jan 28 2023 at 05:02 UTC