📚 node [[proof.md]]
A proof is a simple object which, given another object, is either satisfied by this other object or not.
If a complex object references a proof, it must satisfy this proof.
📖 stoas
- public document at doc.anagora.org/proof.md
- video call at meet.jit.si/proof.md
⥱ context
← back
(none)
(none)
↑ pushing here
(none)
(none)
↓ pulling this
(none)
(none)
→ forward
(none)
(none)
🔎 full text search for 'proof.md'