https://github.com/quantumplation/cardano-lean-specification

An experimental formalization of the Cardano ledger, written in Lean, inspired by https://github.com/IntersectMBO/formal-ledger-specifications
https://github.com/quantumplation/cardano-lean-specification

Last synced: 5 months ago
JSON representation

An experimental formalization of the Cardano ledger, written in Lean, inspired by https://github.com/IntersectMBO/formal-ledger-specifications

• Host: GitHub
• URL: https://github.com/quantumplation/cardano-lean-specification
• Owner: Quantumplation
• Created: 2025-02-02T18:14:53.000Z (over 1 year ago)
• Default Branch: main
• Last Pushed: 2025-02-02T21:08:52.000Z (over 1 year ago)
• Last Synced: 2026-02-01T10:38:46.908Z (5 months ago)
• Language: Lean
• Size: 3.91 KB
• Stars: 1
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

          
# cardano-lean-specification