Stream: Coq users

Topic: Learning category theory as a programmer

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: Sep 30 2023 at 07:01 UTC