The TLC library Arthur Charguéraud, with contributions from others. CeCILL B license (the French equivalent of the BSD license).
TLC is a library for Coq based on classical logic and type classes.
This is an update of an old version of TLC to make it compatible with new versions of Coq. You probably want to check newest versions of TLC instead.
To compile everything:
esy