Artifacts generated from 7f7d0e9de0a3509ce9775129a8b7b8d130d8de27
Home /
Input Output /
formal-ledger-specifications
Oct 14, 2-3 PM (1)
Oct 14, 3-4 PM (0)
Oct 14, 4-5 PM (0)
Oct 14, 5-6 PM (0)
Oct 14, 6-7 PM (2)
Oct 14, 7-8 PM (0)
Oct 14, 8-9 PM (2)
Oct 14, 9-10 PM (1)
Oct 14, 10-11 PM (1)
Oct 14, 11-12 AM (0)
Oct 15, 12-1 AM (0)
Oct 15, 1-2 AM (0)
Oct 15, 2-3 AM (1)
Oct 15, 3-4 AM (6)
Oct 15, 4-5 AM (0)
Oct 15, 5-6 AM (0)
Oct 15, 6-7 AM (0)
Oct 15, 7-8 AM (0)
Oct 15, 8-9 AM (0)
Oct 15, 9-10 AM (0)
Oct 15, 10-11 AM (0)
Oct 15, 11-12 PM (0)
Oct 15, 12-1 PM (1)
Oct 15, 1-2 PM (3)
Oct 15, 2-3 PM (0)
Oct 15, 3-4 PM (0)
Oct 15, 4-5 PM (0)
Oct 15, 5-6 PM (0)
Oct 15, 6-7 PM (0)
Oct 15, 7-8 PM (0)
Oct 15, 8-9 PM (0)
Oct 15, 9-10 PM (0)
Oct 15, 10-11 PM (0)
Oct 15, 11-12 AM (0)
Oct 16, 12-1 AM (0)
Oct 16, 1-2 AM (0)
Oct 16, 2-3 AM (2)
Oct 16, 3-4 AM (35)
Oct 16, 4-5 AM (2)
Oct 16, 5-6 AM (0)
Oct 16, 6-7 AM (6)
Oct 16, 7-8 AM (0)
Oct 16, 8-9 AM (0)
Oct 16, 9-10 AM (0)
Oct 16, 10-11 AM (0)
Oct 16, 11-12 PM (0)
Oct 16, 12-1 PM (1)
Oct 16, 1-2 PM (2)
Oct 16, 2-3 PM (0)
Oct 16, 3-4 PM (0)
Oct 16, 4-5 PM (0)
Oct 16, 5-6 PM (4)
Oct 16, 6-7 PM (0)
Oct 16, 7-8 PM (0)
Oct 16, 8-9 PM (0)
Oct 16, 9-10 PM (0)
Oct 16, 10-11 PM (0)
Oct 16, 11-12 AM (0)
Oct 17, 12-1 AM (0)
Oct 17, 1-2 AM (0)
Oct 17, 2-3 AM (0)
Oct 17, 3-4 AM (0)
Oct 17, 4-5 AM (2)
Oct 17, 5-6 AM (17)
Oct 17, 6-7 AM (4)
Oct 17, 7-8 AM (0)
Oct 17, 8-9 AM (0)
Oct 17, 9-10 AM (1)
Oct 17, 10-11 AM (6)
Oct 17, 11-12 PM (2)
Oct 17, 12-1 PM (1)
Oct 17, 1-2 PM (1)
Oct 17, 2-3 PM (1)
Oct 17, 3-4 PM (0)
Oct 17, 4-5 PM (0)
Oct 17, 5-6 PM (2)
Oct 17, 6-7 PM (0)
Oct 17, 7-8 PM (1)
Oct 17, 8-9 PM (0)
Oct 17, 9-10 PM (0)
Oct 17, 10-11 PM (0)
Oct 17, 11-12 AM (0)
Oct 18, 12-1 AM (0)
Oct 18, 1-2 AM (0)
Oct 18, 2-3 AM (0)
Oct 18, 3-4 AM (0)
Oct 18, 4-5 AM (0)
Oct 18, 5-6 AM (0)
Oct 18, 6-7 AM (0)
Oct 18, 7-8 AM (0)
Oct 18, 8-9 AM (0)
Oct 18, 9-10 AM (0)
Oct 18, 10-11 AM (0)
Oct 18, 11-12 PM (0)
Oct 18, 12-1 PM (0)
Oct 18, 1-2 PM (0)
Oct 18, 2-3 PM (0)
Oct 18, 3-4 PM (0)
Oct 18, 4-5 PM (0)
Oct 18, 5-6 PM (0)
Oct 18, 6-7 PM (0)
Oct 18, 7-8 PM (0)
Oct 18, 8-9 PM (0)
Oct 18, 9-10 PM (0)
Oct 18, 10-11 PM (0)
Oct 18, 11-12 AM (0)
Oct 19, 12-1 AM (0)
Oct 19, 1-2 AM (0)
Oct 19, 2-3 AM (0)
Oct 19, 3-4 AM (0)
Oct 19, 4-5 AM (0)
Oct 19, 5-6 AM (0)
Oct 19, 6-7 AM (0)
Oct 19, 7-8 AM (0)
Oct 19, 8-9 AM (0)
Oct 19, 9-10 AM (0)
Oct 19, 10-11 AM (0)
Oct 19, 11-12 PM (0)
Oct 19, 12-1 PM (0)
Oct 19, 1-2 PM (0)
Oct 19, 2-3 PM (0)
Oct 19, 3-4 PM (0)
Oct 19, 4-5 PM (0)
Oct 19, 5-6 PM (1)
Oct 19, 6-7 PM (1)
Oct 19, 7-8 PM (1)
Oct 19, 8-9 PM (0)
Oct 19, 9-10 PM (0)
Oct 19, 10-11 PM (0)
Oct 19, 11-12 AM (3)
Oct 20, 12-1 AM (0)
Oct 20, 1-2 AM (0)
Oct 20, 2-3 AM (0)
Oct 20, 3-4 AM (0)
Oct 20, 4-5 AM (0)
Oct 20, 5-6 AM (0)
Oct 20, 6-7 AM (0)
Oct 20, 7-8 AM (0)
Oct 20, 8-9 AM (0)
Oct 20, 9-10 AM (0)
Oct 20, 10-11 AM (2)
Oct 20, 11-12 PM (6)
Oct 20, 12-1 PM (7)
Oct 20, 1-2 PM (2)
Oct 20, 2-3 PM (14)
Oct 20, 3-4 PM (1)
Oct 20, 4-5 PM (0)
Oct 20, 5-6 PM (0)
Oct 20, 6-7 PM (0)
Oct 20, 7-8 PM (2)
Oct 20, 8-9 PM (0)
Oct 20, 9-10 PM (0)
Oct 20, 10-11 PM (0)
Oct 20, 11-12 AM (4)
Oct 21, 12-1 AM (2)
Oct 21, 1-2 AM (0)
Oct 21, 2-3 AM (0)
Oct 21, 3-4 AM (0)
Oct 21, 4-5 AM (0)
Oct 21, 5-6 AM (0)
Oct 21, 6-7 AM (0)
Oct 21, 7-8 AM (1)
Oct 21, 8-9 AM (0)
Oct 21, 9-10 AM (0)
Oct 21, 10-11 AM (0)
Oct 21, 11-12 PM (0)
Oct 21, 12-1 PM (0)
Oct 21, 1-2 PM (0)
Oct 21, 2-3 PM (0)
154 commits this week
Oct 14, 2025
-
Oct 21, 2025
Artifacts generated from d2cb1e7a99c28c79962b80a3a1ce36613b255b83
Artifacts generated from 71969d32609ef1eb34d9356ad343a606ac24d0de
first pass at better toc
Artifacts generated from d7be037dfc269566d6b71e5767cc5d2940cfc62d
improve appearance of Dijkstra Transaction module
fix various things
Artifacts generated from d7839155f9bca275fda2e9bd7d9e4265d27cf55e
Artifacts generated from 3e8c0c0b5f97dfcb9045fe9dfb6e1f98a15e5065
Artifacts generated from e0b2fa3d7f9e1e9c8389da01f1b3afa47b30f13b
use opaque to improve tc time
Fix GovDepsMatch
Remove postulates; import module from Epoch.Properties
Implement agda-sets properties locally
Add temporary overlay to overwrite agda-sets
Proof that EPOCH not depends on expired dreps
Fix broken computational EPOCH module
Merge branch 'master' into 944-migrate-all-remaining-lagda-files
complete migration of last set of `.agda` files
prepare to migrate last set of `.agda` files
...that we want to migrate. There are still many `.agda` files in `Conformance` and `Foreign` but we've decided they should not be migrated and the corresponding html files should be removed from mkdocs and not shown on the site.
finish migrating more `.agda` files
prepare to migrate remaining non-conformance files
Artifacts generated from 58b7d194ab7741d4f54d7fd1c6ae5dca1abef6eb