-
Andrew Miloradovsky authored
Same terms as of the dependencies: Coq itself and the topology library.
274885d9
This project is licensed under the GNU Lesser General Public License v2.1 only.
Learn more
Same terms as of the dependencies: Coq itself and the topology library.