-
Jakob Albert authored
Some Coq files are currently not parseable and/or broken. The patches fix those problems and make the Coq packages accesible.
Jakob Albert authoredSome Coq files are currently not parseable and/or broken. The patches fix those problems and make the Coq packages accesible.
coquelicot 1.88 KiB