Archive for all Coq related OPAM packages organized in various repositories
GNU Lesser General Public License v2.1
123
stars
162
forks
source link
coq-parseque.0.2.1 and coq-qarith-stern-brocot.8.18.0 work on Coq 8.20 #3100
Closed
palmskog closed 3 months ago