Content

Version/Status

  • Content created at: 2025-01-30

Description

An Agda mechanization of the Streamlet consensus protocol.

Metrics

Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail