Ssreflect Users Discussion List

[Laurent Thery <>]

Hi,


We need your help!

We are trying to collect all the publications that are related to
ssreflect and mathcomp. We are interested to reference any published
material (journal, conf, Phd thesis, Master thesis, technical report, ...)
At the moment we have a very sketchy list on the wiki of mathcomp:

https://github.com/math-comp/math-comp/wiki/Publications

If you see that something is missing, please don't hesitate to
add it directly (if you have a github account) or send me an email

Thanks in advance

--
Lauremt