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