Companion material for a submission (under review)

Tarball of the code, which is a chosen subset of the CoqEAL project (compiles with Coq v8.5.dev and mathcomp dev)

Here is the html documentation of the archive.


This page was last updated at 2015-10-15 10:14:51 +0200
This site is compiled with nanoc and hosted by Cr@ns