Stream: Coq users

Topic: Equations in an abstract setting


view this post on Zulip Notification Bot (Jun 12 2020 at 09:37):

This topic was moved by Théo Zimmermann to #Equations devs & users > Equations in an abstract setting


Last updated: Jan 28 2023 at 05:02 UTC