Stream: Coq users

Topic: Metacoq notations


view this post on Zulip Notification Bot (Jan 16 2024 at 13:24):

This topic was moved to #MetaCoq > Metacoq notations by Karl Palmskog.


Last updated: Jun 13 2024 at 19:02 UTC