ZF. Experimenting with classical FOL+ZF in Coq.

github.com/mniip/ZF
by @mniip

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.