![github-actions[bot]](https://avatars.githubusercontent.com/in/15368?v=4&s=80)
Artifacts generated from 460caee57936a0df642412eb692a9a7dc9089761
Home /
IntersectMBO /
formal-ledger-specifications
Oct 25, 12-1 AM (0)
Oct 25, 1-2 AM (0)
Oct 25, 2-3 AM (0)
Oct 25, 3-4 AM (0)
Oct 25, 4-5 AM (0)
Oct 25, 5-6 AM (0)
Oct 25, 6-7 AM (0)
Oct 25, 7-8 AM (0)
Oct 25, 8-9 AM (0)
Oct 25, 9-10 AM (0)
Oct 25, 10-11 AM (0)
Oct 25, 11-12 PM (0)
Oct 25, 12-1 PM (0)
Oct 25, 1-2 PM (0)
Oct 25, 2-3 PM (0)
Oct 25, 3-4 PM (0)
Oct 25, 4-5 PM (0)
Oct 25, 5-6 PM (0)
Oct 25, 6-7 PM (0)
Oct 25, 7-8 PM (0)
Oct 25, 8-9 PM (0)
Oct 25, 9-10 PM (0)
Oct 25, 10-11 PM (0)
Oct 25, 11-12 AM (0)
Oct 26, 12-1 AM (0)
Oct 26, 1-2 AM (1)
Oct 26, 2-3 AM (0)
Oct 26, 3-4 AM (0)
Oct 26, 4-5 AM (0)
Oct 26, 5-6 AM (0)
Oct 26, 6-7 AM (0)
Oct 26, 7-8 AM (0)
Oct 26, 8-9 AM (0)
Oct 26, 9-10 AM (0)
Oct 26, 10-11 AM (0)
Oct 26, 11-12 PM (0)
Oct 26, 12-1 PM (0)
Oct 26, 1-2 PM (0)
Oct 26, 2-3 PM (0)
Oct 26, 3-4 PM (0)
Oct 26, 4-5 PM (0)
Oct 26, 5-6 PM (0)
Oct 26, 6-7 PM (0)
Oct 26, 7-8 PM (0)
Oct 26, 8-9 PM (0)
Oct 26, 9-10 PM (0)
Oct 26, 10-11 PM (0)
Oct 26, 11-12 AM (0)
Oct 27, 12-1 AM (0)
Oct 27, 1-2 AM (0)
Oct 27, 2-3 AM (0)
Oct 27, 3-4 AM (0)
Oct 27, 4-5 AM (0)
Oct 27, 5-6 AM (0)
Oct 27, 6-7 AM (0)
Oct 27, 7-8 AM (0)
Oct 27, 8-9 AM (0)
Oct 27, 9-10 AM (0)
Oct 27, 10-11 AM (0)
Oct 27, 11-12 PM (0)
Oct 27, 12-1 PM (0)
Oct 27, 1-2 PM (0)
Oct 27, 2-3 PM (0)
Oct 27, 3-4 PM (0)
Oct 27, 4-5 PM (0)
Oct 27, 5-6 PM (1)
Oct 27, 6-7 PM (0)
Oct 27, 7-8 PM (0)
Oct 27, 8-9 PM (0)
Oct 27, 9-10 PM (0)
Oct 27, 10-11 PM (0)
Oct 27, 11-12 AM (0)
Oct 28, 12-1 AM (0)
Oct 28, 1-2 AM (0)
Oct 28, 2-3 AM (0)
Oct 28, 3-4 AM (1)
Oct 28, 4-5 AM (0)
Oct 28, 5-6 AM (0)
Oct 28, 6-7 AM (0)
Oct 28, 7-8 AM (0)
Oct 28, 8-9 AM (0)
Oct 28, 9-10 AM (0)
Oct 28, 10-11 AM (0)
Oct 28, 11-12 PM (0)
Oct 28, 12-1 PM (1)
Oct 28, 1-2 PM (0)
Oct 28, 2-3 PM (0)
Oct 28, 3-4 PM (0)
Oct 28, 4-5 PM (0)
Oct 28, 5-6 PM (0)
Oct 28, 6-7 PM (0)
Oct 28, 7-8 PM (0)
Oct 28, 8-9 PM (0)
Oct 28, 9-10 PM (0)
Oct 28, 10-11 PM (0)
Oct 28, 11-12 AM (0)
Oct 29, 12-1 AM (0)
Oct 29, 1-2 AM (0)
Oct 29, 2-3 AM (0)
Oct 29, 3-4 AM (1)
Oct 29, 4-5 AM (1)
Oct 29, 5-6 AM (0)
Oct 29, 6-7 AM (0)
Oct 29, 7-8 AM (0)
Oct 29, 8-9 AM (0)
Oct 29, 9-10 AM (0)
Oct 29, 10-11 AM (0)
Oct 29, 11-12 PM (0)
Oct 29, 12-1 PM (0)
Oct 29, 1-2 PM (0)
Oct 29, 2-3 PM (1)
Oct 29, 3-4 PM (0)
Oct 29, 4-5 PM (0)
Oct 29, 5-6 PM (0)
Oct 29, 6-7 PM (0)
Oct 29, 7-8 PM (0)
Oct 29, 8-9 PM (0)
Oct 29, 9-10 PM (0)
Oct 29, 10-11 PM (0)
Oct 29, 11-12 AM (0)
Oct 30, 12-1 AM (0)
Oct 30, 1-2 AM (0)
Oct 30, 2-3 AM (1)
Oct 30, 3-4 AM (1)
Oct 30, 4-5 AM (0)
Oct 30, 5-6 AM (0)
Oct 30, 6-7 AM (0)
Oct 30, 7-8 AM (0)
Oct 30, 8-9 AM (0)
Oct 30, 9-10 AM (0)
Oct 30, 10-11 AM (0)
Oct 30, 11-12 PM (0)
Oct 30, 12-1 PM (0)
Oct 30, 1-2 PM (0)
Oct 30, 2-3 PM (0)
Oct 30, 3-4 PM (0)
Oct 30, 4-5 PM (0)
Oct 30, 5-6 PM (0)
Oct 30, 6-7 PM (0)
Oct 30, 7-8 PM (0)
Oct 30, 8-9 PM (0)
Oct 30, 9-10 PM (0)
Oct 30, 10-11 PM (0)
Oct 30, 11-12 AM (0)
Oct 31, 12-1 AM (0)
Oct 31, 1-2 AM (0)
Oct 31, 2-3 AM (1)
Oct 31, 3-4 AM (1)
Oct 31, 4-5 AM (0)
Oct 31, 5-6 AM (0)
Oct 31, 6-7 AM (0)
Oct 31, 7-8 AM (0)
Oct 31, 8-9 AM (0)
Oct 31, 9-10 AM (0)
Oct 31, 10-11 AM (1)
Oct 31, 11-12 PM (0)
Oct 31, 12-1 PM (0)
Oct 31, 1-2 PM (0)
Oct 31, 2-3 PM (0)
Oct 31, 3-4 PM (0)
Oct 31, 4-5 PM (0)
Oct 31, 5-6 PM (0)
Oct 31, 6-7 PM (0)
Oct 31, 7-8 PM (1)
Oct 31, 8-9 PM (0)
Oct 31, 9-10 PM (0)
Oct 31, 10-11 PM (0)
Oct 31, 11-12 AM (0)
Nov 01, 12-1 AM (0)
13 commits this week
Oct 25, 2025
-
Nov 01, 2025
Add haskell package to flake outputs
minor improvements
Artifacts generated from d52fd42e41491d14d017550400cd8252df2569a8
Artifacts generated from 8fa4ea25cff83d82caac4094547f015e2c141d55
move Core up; improve layout via css; move type class defs
Update ExpiredDReps.lagda.md
move test code to top-level Test directory
improve toc; add intro to "top-level" Spec modules
Fix ≤updateCertDeps after changing updateCertDeps
Artifacts generated from f5b8ffa63f87893a9f1f9e6087c9f3a0385ad9a0
wip: Fix ≤updateCertDeps after changing updateCertDeps
Artifacts generated from a62d7e6a3f09a60465ed4fd9b97224e8454e648a