๐Ÿ“• subnode [[@unrival/proof]] in ๐Ÿ“š node [[proof]]
๐Ÿ“• text contributed by @unrival ๐Ÿ”—

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.

Receiving pushes... (requires JavaScript)
Loading context... (requires JavaScript)
๐Ÿ“– stoas (collaborative spaces) for [[@unrival/proof]]