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

Warning: fopen(index.log): failed to open stream: Permission denied in /home/cohen/www/work/edr/index.php on line 95

Warning: fwrite() expects parameter 1 to be resource, bool given in /home/cohen/www/work/edr/index.php on line 96

Warning: Use of undefined constant REMOTE_HOST - assumed 'REMOTE_HOST' (this will throw an Error in a future version of PHP) in /home/cohen/www/work/edr/index.php on line 97

Notice: Undefined index: REMOTE_HOST in /home/cohen/www/work/edr/index.php on line 97

Warning: Use of undefined constant REMOTE_ADDR - assumed 'REMOTE_ADDR' (this will throw an Error in a future version of PHP) in /home/cohen/www/work/edr/index.php on line 97

Warning: fwrite() expects parameter 1 to be resource, bool given in /home/cohen/www/work/edr/index.php on line 97

Warning: fclose() expects parameter 1 to be resource, bool given in /home/cohen/www/work/edr/index.php on line 98