https://github.com/functionally/ouroboros-lean4

Ouroboros protocols in Lean4
https://github.com/functionally/ouroboros-lean4

blockchain formal-methods lean4 ouroboros

Last synced: 7 days ago
JSON representation

Ouroboros protocols in Lean4

• Host: GitHub
• URL: https://github.com/functionally/ouroboros-lean4
• Owner: functionally
• License: mit
• Created: 2024-07-30T19:26:24.000Z (almost 2 years ago)
• Default Branch: main
• Last Pushed: 2024-10-11T01:18:27.000Z (over 1 year ago)
• Last Synced: 2025-10-28T21:53:44.266Z (8 months ago)
• Topics: blockchain, formal-methods, lean4, ouroboros
• Language: Lean
• Homepage:
• Size: 51.8 KB
• Stars: 1
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: ReadMe.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# Experimental implementation of Ouroboros protocols

This is an experimental work in progress.