Stream: Dune devs & users

Topic: Unification hints and canonical structures

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: Jun 04 2023 at 23:30 UTC