📚 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
⥱ context
← back
(none)
(none)
↑ pushing here
(none)
(none)
↓ pulling this
(none)
(none)
🔎 full text search for 'exists forall'