coq-ext-lib software on GitHub

Software OPEN SOURCE

A library of Coq definitions, theorems, and tactics.
Share - Bookmark