Add Morse-Kelley set theory

coq / opam

Archive for all Coq related OPAM packages organized in various repositories

https://coq.inria.fr/opam/www/

GNU Lesser General Public License v2.1

121 stars 162 forks source link

Add Morse-Kelley set theory #3118

Closed 1DGW closed 1 month ago

palmskog commented 1 month ago

@1DGW since you updated the tag, this PR can be fixed. However, I will need to update the package definition. Please don't make further changes to the PR.