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: Jan 31 2023 at 14:03 UTC