An Agda mechanization of the Streamlet consensus protocol Based on: Gelashvili et al., 2022, May. "Jolteon and Ditto: Network-adaptive efficient consensus with asynchronous fallback" HTML Browse the Agda formalization in HTML here.
