Archive for all Coq related OPAM packages organized in various repositories
GNU Lesser General Public License v2.1
121
stars
162
forks
source link
coq-fcsl-pcm.1.8.0 and coq-htt.1.3.0 work on Coq 8.20 and MC 1.19 #3119
Closed
palmskog closed 1 month ago
cc: @clayrat