A library of general theories that I find useful; an incubator for submissions to Coq or coq-extlib - View it on GitHub