GitHub repository: sakabar/independence-proof-on-coq
Created: 2021-05-05T07:08:36Z
Description: Formalization of the following book with coq : SET THEORY, An introduction to Independence Proofs by Kenneth Kunen