![github-actions[bot]](https://avatars.githubusercontent.com/in/15368?v=4&s=80)
Artifacts generated from 14c5cbbf1332aef74e7d4b875d0799c5c1dac279
Home /
Input Output /
formal-ledger-specifications
Nov 20, 11-12 AM (0)
Nov 21, 12-1 AM (0)
Nov 21, 1-2 AM (0)
Nov 21, 2-3 AM (0)
Nov 21, 3-4 AM (0)
Nov 21, 4-5 AM (0)
Nov 21, 5-6 AM (0)
Nov 21, 6-7 AM (0)
Nov 21, 7-8 AM (0)
Nov 21, 8-9 AM (0)
Nov 21, 9-10 AM (0)
Nov 21, 10-11 AM (1)
Nov 21, 11-12 PM (1)
Nov 21, 12-1 PM (0)
Nov 21, 1-2 PM (0)
Nov 21, 2-3 PM (0)
Nov 21, 3-4 PM (0)
Nov 21, 4-5 PM (0)
Nov 21, 5-6 PM (0)
Nov 21, 6-7 PM (0)
Nov 21, 7-8 PM (0)
Nov 21, 8-9 PM (2)
Nov 21, 9-10 PM (0)
Nov 21, 10-11 PM (0)
Nov 21, 11-12 AM (0)
Nov 22, 12-1 AM (0)
Nov 22, 1-2 AM (0)
Nov 22, 2-3 AM (0)
Nov 22, 3-4 AM (0)
Nov 22, 4-5 AM (0)
Nov 22, 5-6 AM (0)
Nov 22, 6-7 AM (0)
Nov 22, 7-8 AM (0)
Nov 22, 8-9 AM (0)
Nov 22, 9-10 AM (0)
Nov 22, 10-11 AM (0)
Nov 22, 11-12 PM (0)
Nov 22, 12-1 PM (0)
Nov 22, 1-2 PM (0)
Nov 22, 2-3 PM (0)
Nov 22, 3-4 PM (0)
Nov 22, 4-5 PM (0)
Nov 22, 5-6 PM (0)
Nov 22, 6-7 PM (0)
Nov 22, 7-8 PM (0)
Nov 22, 8-9 PM (0)
Nov 22, 9-10 PM (0)
Nov 22, 10-11 PM (0)
Nov 22, 11-12 AM (0)
Nov 23, 12-1 AM (0)
Nov 23, 1-2 AM (0)
Nov 23, 2-3 AM (0)
Nov 23, 3-4 AM (0)
Nov 23, 4-5 AM (0)
Nov 23, 5-6 AM (0)
Nov 23, 6-7 AM (0)
Nov 23, 7-8 AM (0)
Nov 23, 8-9 AM (0)
Nov 23, 9-10 AM (0)
Nov 23, 10-11 AM (0)
Nov 23, 11-12 PM (0)
Nov 23, 12-1 PM (0)
Nov 23, 1-2 PM (0)
Nov 23, 2-3 PM (0)
Nov 23, 3-4 PM (0)
Nov 23, 4-5 PM (0)
Nov 23, 5-6 PM (0)
Nov 23, 6-7 PM (0)
Nov 23, 7-8 PM (0)
Nov 23, 8-9 PM (0)
Nov 23, 9-10 PM (0)
Nov 23, 10-11 PM (0)
Nov 23, 11-12 AM (0)
Nov 24, 12-1 AM (0)
Nov 24, 1-2 AM (0)
Nov 24, 2-3 AM (0)
Nov 24, 3-4 AM (0)
Nov 24, 4-5 AM (0)
Nov 24, 5-6 AM (0)
Nov 24, 6-7 AM (0)
Nov 24, 7-8 AM (0)
Nov 24, 8-9 AM (0)
Nov 24, 9-10 AM (0)
Nov 24, 10-11 AM (0)
Nov 24, 11-12 PM (0)
Nov 24, 12-1 PM (0)
Nov 24, 1-2 PM (0)
Nov 24, 2-3 PM (1)
Nov 24, 3-4 PM (1)
Nov 24, 4-5 PM (0)
Nov 24, 5-6 PM (0)
Nov 24, 6-7 PM (0)
Nov 24, 7-8 PM (0)
Nov 24, 8-9 PM (0)
Nov 24, 9-10 PM (0)
Nov 24, 10-11 PM (0)
Nov 24, 11-12 AM (0)
Nov 25, 12-1 AM (0)
Nov 25, 1-2 AM (0)
Nov 25, 2-3 AM (0)
Nov 25, 3-4 AM (0)
Nov 25, 4-5 AM (0)
Nov 25, 5-6 AM (0)
Nov 25, 6-7 AM (0)
Nov 25, 7-8 AM (0)
Nov 25, 8-9 AM (1)
Nov 25, 9-10 AM (0)
Nov 25, 10-11 AM (0)
Nov 25, 11-12 PM (0)
Nov 25, 12-1 PM (0)
Nov 25, 1-2 PM (0)
Nov 25, 2-3 PM (1)
Nov 25, 3-4 PM (0)
Nov 25, 4-5 PM (0)
Nov 25, 5-6 PM (0)
Nov 25, 6-7 PM (0)
Nov 25, 7-8 PM (0)
Nov 25, 8-9 PM (0)
Nov 25, 9-10 PM (0)
Nov 25, 10-11 PM (0)
Nov 25, 11-12 AM (0)
Nov 26, 12-1 AM (0)
Nov 26, 1-2 AM (0)
Nov 26, 2-3 AM (0)
Nov 26, 3-4 AM (0)
Nov 26, 4-5 AM (0)
Nov 26, 5-6 AM (0)
Nov 26, 6-7 AM (0)
Nov 26, 7-8 AM (0)
Nov 26, 8-9 AM (0)
Nov 26, 9-10 AM (0)
Nov 26, 10-11 AM (0)
Nov 26, 11-12 PM (0)
Nov 26, 12-1 PM (0)
Nov 26, 1-2 PM (0)
Nov 26, 2-3 PM (0)
Nov 26, 3-4 PM (0)
Nov 26, 4-5 PM (0)
Nov 26, 5-6 PM (0)
Nov 26, 6-7 PM (0)
Nov 26, 7-8 PM (0)
Nov 26, 8-9 PM (0)
Nov 26, 9-10 PM (0)
Nov 26, 10-11 PM (0)
Nov 26, 11-12 AM (0)
Nov 27, 12-1 AM (0)
Nov 27, 1-2 AM (0)
Nov 27, 2-3 AM (0)
Nov 27, 3-4 AM (0)
Nov 27, 4-5 AM (0)
Nov 27, 5-6 AM (0)
Nov 27, 6-7 AM (0)
Nov 27, 7-8 AM (0)
Nov 27, 8-9 AM (0)
Nov 27, 9-10 AM (0)
Nov 27, 10-11 AM (0)
Nov 27, 11-12 PM (0)
Nov 27, 12-1 PM (0)
Nov 27, 1-2 PM (0)
Nov 27, 2-3 PM (0)
Nov 27, 3-4 PM (0)
Nov 27, 4-5 PM (0)
Nov 27, 5-6 PM (0)
Nov 27, 6-7 PM (0)
Nov 27, 7-8 PM (0)
Nov 27, 8-9 PM (0)
Nov 27, 9-10 PM (0)
Nov 27, 10-11 PM (0)
Nov 27, 11-12 AM (0)
8 commits this week
Nov 21, 2025
-
Nov 28, 2025
Update flake.nix to use latest agda.nix
Artifacts generated from ad2e61e8c65f00faefa9d1b4e4d6a6e7b24364c3
Enumerate differences with Shelley
Remove TODO comment
Artifacts generated from 509fa807c89f94f7560c1cf50bae486dad4ea91a
Change acceptedByCC to accept in case threshold is nothing