This is a partial snapshot of the Mathematical Components project, so it contains lots of files I did not write. The purpose of this snapshot is to highlight my personal work on quotients, through several files of mine:

I did not include the applications of quotients that I did not write myself.
(Those archive are self-contained and are based on previous versions of quotient types.)


This page was last updated at 2014-12-01 03:52:16 +0100
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/quotients/index.php on line 115

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

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/quotients/index.php on line 117

Notice: Undefined index: REMOTE_HOST in /home/cohen/www/work/quotients/index.php on line 117

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/quotients/index.php on line 117

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

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