coq-mathcomp/etc/artwork, branch master Library of mathematical components formalized in Coq 8.5 coqdoc does not want _ to be escaped + more .css classes 2015-12-11T15:13:56+00:00 Enrico Tassi 2015-12-11T15:13:56+00:00 f943e8d62fe88b0e387f94f23e1990b996d9f8a3 






some work on ssreflect and discrete
2015-03-09T15:21:23+00:00

Enrico Tassi

2015-03-09T12:35:08+00:00

155e671f7b83293ae327ddbd252d1d1ac961ab9a