Artifacts generated from 2dfafd2f8c7a2d4f2695a15d1a21ed987b5cde3b
Home /
Input Output /
formal-ledger-specifications
Aug 01, 5-6 AM (0)
Aug 01, 6-7 AM (0)
Aug 01, 7-8 AM (0)
Aug 01, 8-9 AM (0)
Aug 01, 9-10 AM (0)
Aug 01, 10-11 AM (0)
Aug 01, 11-12 PM (0)
Aug 01, 12-1 PM (4)
Aug 01, 1-2 PM (1)
Aug 01, 2-3 PM (0)
Aug 01, 3-4 PM (0)
Aug 01, 4-5 PM (1)
Aug 01, 5-6 PM (0)
Aug 01, 6-7 PM (0)
Aug 01, 7-8 PM (0)
Aug 01, 8-9 PM (0)
Aug 01, 9-10 PM (0)
Aug 01, 10-11 PM (0)
Aug 01, 11-12 AM (0)
Aug 02, 12-1 AM (0)
Aug 02, 1-2 AM (1)
Aug 02, 2-3 AM (0)
Aug 02, 3-4 AM (0)
Aug 02, 4-5 AM (0)
Aug 02, 5-6 AM (0)
Aug 02, 6-7 AM (0)
Aug 02, 7-8 AM (0)
Aug 02, 8-9 AM (0)
Aug 02, 9-10 AM (0)
Aug 02, 10-11 AM (0)
Aug 02, 11-12 PM (0)
Aug 02, 12-1 PM (0)
Aug 02, 1-2 PM (0)
Aug 02, 2-3 PM (0)
Aug 02, 3-4 PM (0)
Aug 02, 4-5 PM (0)
Aug 02, 5-6 PM (0)
Aug 02, 6-7 PM (0)
Aug 02, 7-8 PM (0)
Aug 02, 8-9 PM (0)
Aug 02, 9-10 PM (0)
Aug 02, 10-11 PM (0)
Aug 02, 11-12 AM (0)
Aug 03, 12-1 AM (0)
Aug 03, 1-2 AM (0)
Aug 03, 2-3 AM (0)
Aug 03, 3-4 AM (2)
Aug 03, 4-5 AM (0)
Aug 03, 5-6 AM (0)
Aug 03, 6-7 AM (0)
Aug 03, 7-8 AM (0)
Aug 03, 8-9 AM (0)
Aug 03, 9-10 AM (0)
Aug 03, 10-11 AM (0)
Aug 03, 11-12 PM (0)
Aug 03, 12-1 PM (0)
Aug 03, 1-2 PM (0)
Aug 03, 2-3 PM (0)
Aug 03, 3-4 PM (0)
Aug 03, 4-5 PM (0)
Aug 03, 5-6 PM (0)
Aug 03, 6-7 PM (0)
Aug 03, 7-8 PM (0)
Aug 03, 8-9 PM (0)
Aug 03, 9-10 PM (0)
Aug 03, 10-11 PM (0)
Aug 03, 11-12 AM (0)
Aug 04, 12-1 AM (0)
Aug 04, 1-2 AM (0)
Aug 04, 2-3 AM (0)
Aug 04, 3-4 AM (0)
Aug 04, 4-5 AM (0)
Aug 04, 5-6 AM (0)
Aug 04, 6-7 AM (0)
Aug 04, 7-8 AM (0)
Aug 04, 8-9 AM (0)
Aug 04, 9-10 AM (0)
Aug 04, 10-11 AM (0)
Aug 04, 11-12 PM (1)
Aug 04, 12-1 PM (0)
Aug 04, 1-2 PM (0)
Aug 04, 2-3 PM (0)
Aug 04, 3-4 PM (0)
Aug 04, 4-5 PM (0)
Aug 04, 5-6 PM (0)
Aug 04, 6-7 PM (2)
Aug 04, 7-8 PM (4)
Aug 04, 8-9 PM (0)
Aug 04, 9-10 PM (0)
Aug 04, 10-11 PM (0)
Aug 04, 11-12 AM (0)
Aug 05, 12-1 AM (0)
Aug 05, 1-2 AM (0)
Aug 05, 2-3 AM (5)
Aug 05, 3-4 AM (7)
Aug 05, 4-5 AM (0)
Aug 05, 5-6 AM (0)
Aug 05, 6-7 AM (0)
Aug 05, 7-8 AM (0)
Aug 05, 8-9 AM (0)
Aug 05, 9-10 AM (0)
Aug 05, 10-11 AM (0)
Aug 05, 11-12 PM (0)
Aug 05, 12-1 PM (0)
Aug 05, 1-2 PM (0)
Aug 05, 2-3 PM (0)
Aug 05, 3-4 PM (0)
Aug 05, 4-5 PM (0)
Aug 05, 5-6 PM (0)
Aug 05, 6-7 PM (0)
Aug 05, 7-8 PM (0)
Aug 05, 8-9 PM (2)
Aug 05, 9-10 PM (6)
Aug 05, 10-11 PM (0)
Aug 05, 11-12 AM (0)
Aug 06, 12-1 AM (0)
Aug 06, 1-2 AM (1)
Aug 06, 2-3 AM (0)
Aug 06, 3-4 AM (0)
Aug 06, 4-5 AM (0)
Aug 06, 5-6 AM (0)
Aug 06, 6-7 AM (0)
Aug 06, 7-8 AM (0)
Aug 06, 8-9 AM (0)
Aug 06, 9-10 AM (0)
Aug 06, 10-11 AM (0)
Aug 06, 11-12 PM (0)
Aug 06, 12-1 PM (0)
Aug 06, 1-2 PM (1)
Aug 06, 2-3 PM (0)
Aug 06, 3-4 PM (0)
Aug 06, 4-5 PM (0)
Aug 06, 5-6 PM (0)
Aug 06, 6-7 PM (0)
Aug 06, 7-8 PM (0)
Aug 06, 8-9 PM (1)
Aug 06, 9-10 PM (0)
Aug 06, 10-11 PM (0)
Aug 06, 11-12 AM (0)
Aug 07, 12-1 AM (0)
Aug 07, 1-2 AM (0)
Aug 07, 2-3 AM (0)
Aug 07, 3-4 AM (0)
Aug 07, 4-5 AM (0)
Aug 07, 5-6 AM (0)
Aug 07, 6-7 AM (0)
Aug 07, 7-8 AM (0)
Aug 07, 8-9 AM (0)
Aug 07, 9-10 AM (0)
Aug 07, 10-11 AM (2)
Aug 07, 11-12 PM (0)
Aug 07, 12-1 PM (0)
Aug 07, 1-2 PM (0)
Aug 07, 2-3 PM (0)
Aug 07, 3-4 PM (0)
Aug 07, 4-5 PM (0)
Aug 07, 5-6 PM (0)
Aug 07, 6-7 PM (0)
Aug 07, 7-8 PM (0)
Aug 07, 8-9 PM (0)
Aug 07, 9-10 PM (0)
Aug 07, 10-11 PM (0)
Aug 07, 11-12 AM (0)
Aug 08, 12-1 AM (0)
Aug 08, 1-2 AM (0)
Aug 08, 2-3 AM (0)
Aug 08, 3-4 AM (0)
Aug 08, 4-5 AM (0)
Aug 08, 5-6 AM (0)
41 commits this week
Aug 01, 2025
-
Aug 08, 2025
Update proof of govDepsMatch
Outline prove of dropRetiredDeposits
Outline prove of dropRetiredDeposits
rename PoolParams to StakePoolParams
* issue related: ``` github.com/IntersectMBO/cardano-ledger/issues/5191 ```
Outline prove of dropRetiredDeposits
wip: Make more explicit the structure of EPOCH-govDepsMatch
Complete EPOCH-deterministic prove
use type classes to remove some imports
Open module with update bindings in the EPOCH transition
Update EPOCH-deterministic
Duplicate let bindings of EPOCH in another module to be used for proofs
Implement the POOLREAP STS and hook it in the EPOCH transition
This is a rebasing of #719. Co-authored-by: William DeMeo <[email protected]>
Artifacts generated from 6348a1a4cb47eb0b388cfddf351ed1eae3203a6d
Artifacts generated from edbdb649ccd9523db339d5e77911c9edff2e2546
Artifacts generated from 1b8fbf014b96e29331c7565003c06ecd74641c12
add ConwayBootstrap and ConwayBootstrapEnact to nav
final md version of ConwayBootstrap and ConwayBootstrapEnact
prepare md version of ConwayBootstrap and ConwayBootstrapEnact
Artifacts generated from 381c918a6d2e6b77d101827397d0be213a0a6663
Artifacts generated from a65acc48728de00f959e66200c3f2be42412a23b
Artifacts generated from fae2b2723996b888db2f5e87bb69a35147308c3f
improve README so its okay as a site landing page
fix favicon; add processing of static tex files
fix Gov ref, add favicon, and other improvements