Ssreflect Users Discussion List

[Assia Mahboubi <>]

Dear Coq users,

  we would like to announce that a first public draft of the book 
"Mathematical
Components" is available on the webpage:

https://math-comp.github.io/mcb/

This is a preliminary version of a book which aims at documenting the
methodology and content of the Mathematical Components libraries (*). This web
page will be regularly updated with new versions of the pdf.

We will be very grateful to read your comments and suggestions! And of course 
we
will review pull requests on the sources (**)...

With kind regards,

Yves Bertot, Georges Gonthier, Assia Mahboubi, Enrico Tassi

(*) https://math-comp.github.io/math-comp/
(**) https://github.com/math-comp/mcb