input-output-hk/formal-streamlet

Melkonian, Orestis; Jaskelioff, Mauro

doi:10.4230/artifacts.23005

Artifact

input-output-hk/formal-streamlet Software

Authors Orestis Melkonian , Mauro Jaskelioff

Part of: Collection: Supplementary Materials
License: MIT License
Publication Date: 2025-05-16

Document Identifiers

DOI: 10.4230/artifacts.23005
URN: urn:nbn:de:0030-drops-230054

Author Details

Orestis Melkonian

Input Output (IOG/IOHK)

Mauro Jaskelioff

Input Output (IOG/IOHK)

Content

Software (Source Code): https://github.com/input-output-hk/formal-streamlet
archived version

Version/Status

Content created at: 2025-01-30

Cite As Get BibTex

Orestis Melkonian, Mauro Jaskelioff. input-output-hk/formal-streamlet (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025) https://doi.org/10.4230/artifacts.23005

Description

An Agda mechanization of the Streamlet consensus protocol.

Subject Classification

Programming Languages

Agda
CSS
Shell

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

Metadata Views

Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail