A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai] - View it on GitHub