📕 subnode [[@flancian/exists forall]]
in 📚 node [[exists-forall]]
Exists Forall
- A [[person]].
- [[twitter]] https://twitter.com/exists_forall [[exists forall]]
- CS ∩ Math [[UCBerkeley]]
📖 stoas
- public document at doc.anagora.org/exists-forall
- video call at meet.jit.si/exists-forall