Tokens

Definition

how they're defined in the DARC-SPICE toolbox

how they're defined generally (i.e., ERC20 and why it is important/useful)

how are they used here

Examples

Prose

Pseudocode

Further Reading