Favoriser la confiance dans les logiciels et l’argent. Construire @quint_lang, un langage de spécifications exécutable et @cyclesmoney, un protocole de compensation pour une finance efficace en capital.