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: Oct 13 2024 at 01:02 UTC