An Agda mechanization of the Streamlet consensus protocol Based on: Chan & Shi, 2020, "Streamlet: Textbook streamlined blockchains" HTML Browse the Agda formalization in HTML here.