π Node [[exists-forall]]
β³ π Subnode [[@flancian/exists forall]]
β³ π Subnode [[@flancian/exists forall]]
π
exists forall.md (text) by @flancian
οΈζ¬
π
Exists Forall
- A [[person]].
- [[twitter]] https://twitter.com/exists_forall [[exists forall]]
- CS β© Math [[UCBerkeley]]
Loading context... (requires JavaScript)
ποΈ Stoas for [[@flancian/exists forall]]
π Open document (Hedgedoc) at https://doc.anagora.org/exists-forall
π Open document (Etherpad) at https://stoa.anagora.org/p/exists-forall