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.
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.
: 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