Sign inSign up

IntersectMBO/formal-ledger-specifications

Formal specifications of the Cardano ledger

AgdaStars 49Forks 19Watchers 49Open issues 119License Apache License 2.0
Details
仓库信息
OwnerIntersectMBO
Homepagehttps://intersectmbo.github.io/formal-ledger-specifications/
GitHubhttps://github.com/IntersectMBO/formal-ledger-specifications
Last pushed2025-12-11
Last updated2025-12-13
Issues fetched at—

Stats

Community at a glance

Loading...

Loading

--

Loading

--

Loading

--

Loading

--