Stream: Coq users

Topic: Learning category theory as a programmer


view this post on Zulip Notification Bot (Jun 10 2020 at 09:40):

This topic was moved by Théo Zimmermann to #Miscellaneous > Learning category theory as a programmer


Last updated: Jun 18 2024 at 00:02 UTC