My personal project for over five years, at the intersection of decentralization and formalism.
Website