dschepler / coq-zorns-lemma

Naive set theory library for Coq

Geek Repo

Github PK Tool