Stream: Coq users

Topic: Trying out metacoq


view this post on Zulip Notification Bot (Jul 23 2020 at 07:11):

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


Last updated: Jun 20 2024 at 11:02 UTC