Skip to content

Drop Coq 8.14 and MC 1.15 and 1.16 support, add Coq 8.19 support#1152

Merged
proux01 merged 2 commits intomasterfrom drop_814Jan 16, 2024

Commits

Commits on Jan 16, 2024