Stream: math-comp users

Topic: Struggle with using canonical structures mathcomp style


view this post on Zulip Notification Bot (Oct 28 2022 at 17:58):

This topic was moved to #Coq users > Struggle with using canonical structures mathcomp style by Cyril Cohen.


Last updated: Feb 22 2024 at 04:02 UTC