Stream: Dune devs & users

Topic: Unification hints and canonical structures


view this post on Zulip Notification Bot (Sep 18 2020 at 10:59):

This topic was moved by Théo Zimmermann to #Coq users > Unification hints and canonical structures


Last updated: Oct 16 2021 at 09:07 UTC