Home /
IntersectMBO /
formal-ledger-specifications
Aug 29, 2-3 AM (0)
Aug 29, 3-4 AM (0)
Aug 29, 4-5 AM (0)
Aug 29, 5-6 AM (0)
Aug 29, 6-7 AM (0)
Aug 29, 7-8 AM (0)
Aug 29, 8-9 AM (0)
Aug 29, 9-10 AM (0)
Aug 29, 10-11 AM (0)
Aug 29, 11-12 PM (0)
Aug 29, 12-1 PM (1)
Aug 29, 1-2 PM (0)
Aug 29, 2-3 PM (0)
Aug 29, 3-4 PM (0)
Aug 29, 4-5 PM (0)
Aug 29, 5-6 PM (0)
Aug 29, 6-7 PM (0)
Aug 29, 7-8 PM (0)
Aug 29, 8-9 PM (0)
Aug 29, 9-10 PM (0)
Aug 29, 10-11 PM (0)
Aug 29, 11-12 AM (0)
Aug 30, 12-1 AM (0)
Aug 30, 1-2 AM (0)
Aug 30, 2-3 AM (0)
Aug 30, 3-4 AM (0)
Aug 30, 4-5 AM (0)
Aug 30, 5-6 AM (0)
Aug 30, 6-7 AM (0)
Aug 30, 7-8 AM (0)
Aug 30, 8-9 AM (0)
Aug 30, 9-10 AM (0)
Aug 30, 10-11 AM (0)
Aug 30, 11-12 PM (0)
Aug 30, 12-1 PM (0)
Aug 30, 1-2 PM (0)
Aug 30, 2-3 PM (0)
Aug 30, 3-4 PM (0)
Aug 30, 4-5 PM (0)
Aug 30, 5-6 PM (0)
Aug 30, 6-7 PM (0)
Aug 30, 7-8 PM (0)
Aug 30, 8-9 PM (0)
Aug 30, 9-10 PM (0)
Aug 30, 10-11 PM (0)
Aug 30, 11-12 AM (0)
Aug 31, 12-1 AM (0)
Aug 31, 1-2 AM (0)
Aug 31, 2-3 AM (0)
Aug 31, 3-4 AM (0)
Aug 31, 4-5 AM (0)
Aug 31, 5-6 AM (0)
Aug 31, 6-7 AM (0)
Aug 31, 7-8 AM (0)
Aug 31, 8-9 AM (0)
Aug 31, 9-10 AM (0)
Aug 31, 10-11 AM (0)
Aug 31, 11-12 PM (0)
Aug 31, 12-1 PM (0)
Aug 31, 1-2 PM (0)
Aug 31, 2-3 PM (0)
Aug 31, 3-4 PM (0)
Aug 31, 4-5 PM (0)
Aug 31, 5-6 PM (0)
Aug 31, 6-7 PM (0)
Aug 31, 7-8 PM (0)
Aug 31, 8-9 PM (0)
Aug 31, 9-10 PM (0)
Aug 31, 10-11 PM (0)
Aug 31, 11-12 AM (0)
Sep 01, 12-1 AM (0)
Sep 01, 1-2 AM (0)
Sep 01, 2-3 AM (0)
Sep 01, 3-4 AM (0)
Sep 01, 4-5 AM (0)
Sep 01, 5-6 AM (0)
Sep 01, 6-7 AM (0)
Sep 01, 7-8 AM (0)
Sep 01, 8-9 AM (0)
Sep 01, 9-10 AM (0)
Sep 01, 10-11 AM (0)
Sep 01, 11-12 PM (0)
Sep 01, 12-1 PM (0)
Sep 01, 1-2 PM (0)
Sep 01, 2-3 PM (1)
Sep 01, 3-4 PM (0)
Sep 01, 4-5 PM (0)
Sep 01, 5-6 PM (0)
Sep 01, 6-7 PM (0)
Sep 01, 7-8 PM (0)
Sep 01, 8-9 PM (0)
Sep 01, 9-10 PM (0)
Sep 01, 10-11 PM (0)
Sep 01, 11-12 AM (0)
Sep 02, 12-1 AM (0)
Sep 02, 1-2 AM (0)
Sep 02, 2-3 AM (0)
Sep 02, 3-4 AM (0)
Sep 02, 4-5 AM (0)
Sep 02, 5-6 AM (0)
Sep 02, 6-7 AM (1)
Sep 02, 7-8 AM (0)
Sep 02, 8-9 AM (2)
Sep 02, 9-10 AM (0)
Sep 02, 10-11 AM (1)
Sep 02, 11-12 PM (0)
Sep 02, 12-1 PM (0)
Sep 02, 1-2 PM (1)
Sep 02, 2-3 PM (0)
Sep 02, 3-4 PM (0)
Sep 02, 4-5 PM (0)
Sep 02, 5-6 PM (8)
Sep 02, 6-7 PM (0)
Sep 02, 7-8 PM (0)
Sep 02, 8-9 PM (0)
Sep 02, 9-10 PM (0)
Sep 02, 10-11 PM (0)
Sep 02, 11-12 AM (0)
Sep 03, 12-1 AM (0)
Sep 03, 1-2 AM (0)
Sep 03, 2-3 AM (0)
Sep 03, 3-4 AM (1)
Sep 03, 4-5 AM (0)
Sep 03, 5-6 AM (0)
Sep 03, 6-7 AM (0)
Sep 03, 7-8 AM (0)
Sep 03, 8-9 AM (0)
Sep 03, 9-10 AM (0)
Sep 03, 10-11 AM (0)
Sep 03, 11-12 PM (0)
Sep 03, 12-1 PM (0)
Sep 03, 1-2 PM (0)
Sep 03, 2-3 PM (0)
Sep 03, 3-4 PM (0)
Sep 03, 4-5 PM (0)
Sep 03, 5-6 PM (0)
Sep 03, 6-7 PM (0)
Sep 03, 7-8 PM (0)
Sep 03, 8-9 PM (0)
Sep 03, 9-10 PM (0)
Sep 03, 10-11 PM (0)
Sep 03, 11-12 AM (0)
Sep 04, 12-1 AM (0)
Sep 04, 1-2 AM (0)
Sep 04, 2-3 AM (0)
Sep 04, 3-4 AM (0)
Sep 04, 4-5 AM (0)
Sep 04, 5-6 AM (1)
Sep 04, 6-7 AM (1)
Sep 04, 7-8 AM (0)
Sep 04, 8-9 AM (0)
Sep 04, 9-10 AM (0)
Sep 04, 10-11 AM (0)
Sep 04, 11-12 PM (2)
Sep 04, 12-1 PM (0)
Sep 04, 1-2 PM (1)
Sep 04, 2-3 PM (2)
Sep 04, 3-4 PM (0)
Sep 04, 4-5 PM (0)
Sep 04, 5-6 PM (0)
Sep 04, 6-7 PM (0)
Sep 04, 7-8 PM (0)
Sep 04, 8-9 PM (0)
Sep 04, 9-10 PM (0)
Sep 04, 10-11 PM (0)
Sep 04, 11-12 AM (0)
Sep 05, 12-1 AM (0)
Sep 05, 1-2 AM (0)
Sep 05, 2-3 AM (0)
23 commits this week
Aug 29, 2025
-
Sep 05, 2025
Add the BBODY transition system
![github-actions[bot]](https://avatars.githubusercontent.com/in/15368?v=4&s=80)
Artifacts generated from 37c053e73a675aa1ab598ee6cc1ec7a46b7a860e
Artifacts generated from deb5dd7bf9698a02b8acdad1733f95759fe3a211
Rename subsubsections
Refactor VDeleg, Voter, votes and acceptedBy
Artifacts generated from f3aa4fdda4f5800c3118b787f2dd943f22b91875
rename two constructors of `GovActionType`
Update CHANGELOG.md
Implement Computational for RUPD and TICK
Update Computational-CHAIN
Make createRUpd opaque
Call TICK from the CHAIN transition relation
Update CHAIN-govDepsMatch
Implement RUPD and TICK transition systems
Add RandomnessStabilisationWindow
Artifacts generated from c45dcdb8eb393150f00386e8dabd35d8eeb9a857
Change HsType instances
Uncomment literate part
Add nondependent version of GovVoter for conf.
Update agda to 2.8.0 (#875)
* Update nixpkgs * Update Agda to 2.8.0 and related dependencies * Change used version of python * Update fls-agda
Remove leftover file
Change used version of python