Informal Systems
Fostering trust in software & money. Building @quint_lang, an executable spec language and @cyclesmoney, a clearing protocol for capital efficient finance.
Fostering trust in software & money. Building @quint_lang, an executable spec language and @cyclesmoney, a clearing protocol for capital efficient finance.