Subject: Ssreflect Users Discussion List
List archive
- From: Enrico Tassi <>
- To:
- Subject: Re: [ssreflect] Generic instances
- Date: Fri, 20 Sep 2019 09:56:34 +0200
Wow, that looks really neat!
Looking forward to read a paper about it ;-)
--
Enrico Tassi
- [ssreflect] Generic instances, Arthur Azevedo de Amorim, 09/19/2019
- Re: [ssreflect] Generic instances, Christian Doczkal, 09/19/2019
- Re: [ssreflect] Generic instances, Enrico Tassi, 09/20/2019
- Re: [ssreflect] Generic instances, Christian Doczkal, 09/19/2019
Archive powered by MHonArc 2.6.18.