Skip to content

input-output-hk/formal-streamlet

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

14 Commits
 
 
 
 
 
 
 
 
 
 

Repository files navigation

An Agda mechanization of the Streamlet consensus protocol

CI DOI

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.

Resources

License

Stars

Watchers

Forks

Languages