GitHub - input-output-hk/formal-streamlet: An Agda mechanization of the Streamlet consensus protocol. · GitHub

Name		Name	Last commit message	Last commit date
.github/workflows		.github/workflows
src		src
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md

Repository files navigation

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.

About

An Agda mechanization of the Streamlet consensus protocol.

input-output-hk.github.io/formal-streamlet/

Custom properties

5 stars

4 watching

Report repository

Releases

Used by

Contributors

Languages