Subject: Ssreflect Users Discussion List
List archive
- From: Enrico Tassi <>
- To:
- Subject: [ssreflect] github mathcomp user
- Date: Mon, 9 Mar 2015 11:41:19 +0100
Hello, it seems that the user "mathcomp" on github is taken, but no
activity was ever done by such user.
By any chance, is someone on this list the owner of such account?
Best,
--
Enrico Tassi
- [ssreflect] github mathcomp user, Enrico Tassi, 03/09/2015
Archive powered by MHonArc 2.6.18.