header
Informal Systems
Fomentar a confiança no software e no dinheiro. Building @quint_lang, uma linguagem de especificação executável e @cyclesmoney, um protocolo de compensação para finanças eficientes em capital.