All Git Users → choukh

1 open source projects by choukh

[ Open user page on Github ]

Coq encoding of ZFC and formalization of the textbook Elements of Set Theory

✭ 55

Coq Makefile math coq theorem-proving set-theory formal-languages

1-1 of 1 user projects