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: Feb 22 2024 at 05:02 UTC