Update src/Interface/STS.lagda.md
Co-authored-by: Carlos Tomé Cortiñas <[email protected]>
Home /
Input Output /
formal-ledger-specifications
Sep 09, 6-7 PM (0)
Sep 09, 7-8 PM (0)
Sep 09, 8-9 PM (0)
Sep 09, 9-10 PM (0)
Sep 09, 10-11 PM (2)
Sep 09, 11-12 AM (1)
Sep 10, 12-1 AM (0)
Sep 10, 1-2 AM (0)
Sep 10, 2-3 AM (0)
Sep 10, 3-4 AM (0)
Sep 10, 4-5 AM (1)
Sep 10, 5-6 AM (3)
Sep 10, 6-7 AM (1)
Sep 10, 7-8 AM (0)
Sep 10, 8-9 AM (0)
Sep 10, 9-10 AM (1)
Sep 10, 10-11 AM (3)
Sep 10, 11-12 PM (0)
Sep 10, 12-1 PM (1)
Sep 10, 1-2 PM (2)
Sep 10, 2-3 PM (0)
Sep 10, 3-4 PM (0)
Sep 10, 4-5 PM (0)
Sep 10, 5-6 PM (0)
Sep 10, 6-7 PM (0)
Sep 10, 7-8 PM (2)
Sep 10, 8-9 PM (4)
Sep 10, 9-10 PM (2)
Sep 10, 10-11 PM (0)
Sep 10, 11-12 AM (0)
Sep 11, 12-1 AM (0)
Sep 11, 1-2 AM (0)
Sep 11, 2-3 AM (0)
Sep 11, 3-4 AM (0)
Sep 11, 4-5 AM (0)
Sep 11, 5-6 AM (0)
Sep 11, 6-7 AM (1)
Sep 11, 7-8 AM (4)
Sep 11, 8-9 AM (0)
Sep 11, 9-10 AM (0)
Sep 11, 10-11 AM (2)
Sep 11, 11-12 PM (12)
Sep 11, 12-1 PM (1)
Sep 11, 1-2 PM (6)
Sep 11, 2-3 PM (2)
Sep 11, 3-4 PM (0)
Sep 11, 4-5 PM (3)
Sep 11, 5-6 PM (4)
Sep 11, 6-7 PM (0)
Sep 11, 7-8 PM (0)
Sep 11, 8-9 PM (5)
Sep 11, 9-10 PM (0)
Sep 11, 10-11 PM (0)
Sep 11, 11-12 AM (0)
Sep 12, 12-1 AM (0)
Sep 12, 1-2 AM (8)
Sep 12, 2-3 AM (2)
Sep 12, 3-4 AM (6)
Sep 12, 4-5 AM (1)
Sep 12, 5-6 AM (0)
Sep 12, 6-7 AM (0)
Sep 12, 7-8 AM (0)
Sep 12, 8-9 AM (0)
Sep 12, 9-10 AM (0)
Sep 12, 10-11 AM (0)
Sep 12, 11-12 PM (0)
Sep 12, 12-1 PM (0)
Sep 12, 1-2 PM (6)
Sep 12, 2-3 PM (1)
Sep 12, 3-4 PM (1)
Sep 12, 4-5 PM (0)
Sep 12, 5-6 PM (0)
Sep 12, 6-7 PM (0)
Sep 12, 7-8 PM (0)
Sep 12, 8-9 PM (0)
Sep 12, 9-10 PM (0)
Sep 12, 10-11 PM (0)
Sep 12, 11-12 AM (0)
Sep 13, 12-1 AM (0)
Sep 13, 1-2 AM (0)
Sep 13, 2-3 AM (0)
Sep 13, 3-4 AM (0)
Sep 13, 4-5 AM (0)
Sep 13, 5-6 AM (0)
Sep 13, 6-7 AM (0)
Sep 13, 7-8 AM (0)
Sep 13, 8-9 AM (0)
Sep 13, 9-10 AM (0)
Sep 13, 10-11 AM (0)
Sep 13, 11-12 PM (0)
Sep 13, 12-1 PM (0)
Sep 13, 1-2 PM (0)
Sep 13, 2-3 PM (0)
Sep 13, 3-4 PM (0)
Sep 13, 4-5 PM (0)
Sep 13, 5-6 PM (0)
Sep 13, 6-7 PM (0)
Sep 13, 7-8 PM (0)
Sep 13, 8-9 PM (0)
Sep 13, 9-10 PM (0)
Sep 13, 10-11 PM (0)
Sep 13, 11-12 AM (0)
Sep 14, 12-1 AM (0)
Sep 14, 1-2 AM (0)
Sep 14, 2-3 AM (0)
Sep 14, 3-4 AM (0)
Sep 14, 4-5 AM (0)
Sep 14, 5-6 AM (0)
Sep 14, 6-7 AM (0)
Sep 14, 7-8 AM (0)
Sep 14, 8-9 AM (0)
Sep 14, 9-10 AM (0)
Sep 14, 10-11 AM (0)
Sep 14, 11-12 PM (0)
Sep 14, 12-1 PM (0)
Sep 14, 1-2 PM (0)
Sep 14, 2-3 PM (0)
Sep 14, 3-4 PM (0)
Sep 14, 4-5 PM (0)
Sep 14, 5-6 PM (0)
Sep 14, 6-7 PM (0)
Sep 14, 7-8 PM (0)
Sep 14, 8-9 PM (0)
Sep 14, 9-10 PM (0)
Sep 14, 10-11 PM (0)
Sep 14, 11-12 AM (0)
Sep 15, 12-1 AM (0)
Sep 15, 1-2 AM (0)
Sep 15, 2-3 AM (0)
Sep 15, 3-4 AM (0)
Sep 15, 4-5 AM (0)
Sep 15, 5-6 AM (0)
Sep 15, 6-7 AM (0)
Sep 15, 7-8 AM (0)
Sep 15, 8-9 AM (0)
Sep 15, 9-10 AM (0)
Sep 15, 10-11 AM (0)
Sep 15, 11-12 PM (1)
Sep 15, 12-1 PM (1)
Sep 15, 1-2 PM (3)
Sep 15, 2-3 PM (5)
Sep 15, 3-4 PM (0)
Sep 15, 4-5 PM (0)
Sep 15, 5-6 PM (0)
Sep 15, 6-7 PM (0)
Sep 15, 7-8 PM (0)
Sep 15, 8-9 PM (1)
Sep 15, 9-10 PM (0)
Sep 15, 10-11 PM (0)
Sep 15, 11-12 AM (1)
Sep 16, 12-1 AM (0)
Sep 16, 1-2 AM (2)
Sep 16, 2-3 AM (0)
Sep 16, 3-4 AM (0)
Sep 16, 4-5 AM (0)
Sep 16, 5-6 AM (0)
Sep 16, 6-7 AM (0)
Sep 16, 7-8 AM (0)
Sep 16, 8-9 AM (0)
Sep 16, 9-10 AM (2)
Sep 16, 10-11 AM (0)
Sep 16, 11-12 PM (2)
Sep 16, 12-1 PM (0)
Sep 16, 1-2 PM (1)
Sep 16, 2-3 PM (0)
Sep 16, 3-4 PM (0)
Sep 16, 4-5 PM (0)
Sep 16, 5-6 PM (0)
Sep 16, 6-7 PM (0)
107 commits this week
Sep 09, 2025
-
Sep 16, 2025
Edit whitespaces
Add POOLREAP to the conformance model
Resolves conformance failure
/Conway/Imp/Conformance with constrained generators/ImpTests/Conway Imp conformance/RATIFY/Voting/Active voting stake/Predefined DReps/AlwaysAbstain
Replicate functionality from spec in conf EPOCH
major refactoring (incomplete)
still need to prove computational instances
prepare for migration of STS
wip: Add POOLREAP to the conformance model
![github-actions[bot]](https://avatars.githubusercontent.com/in/15368?v=4&s=80)
Artifacts generated from bf144c62437f5f9a559e7ed7a52b9780adcb1ac3
Artifacts generated from 82ec436e249a915a1ce973f5181449e2368b76d2
Artifacts generated from 83b69064fab6f07f177103c12ecb962797d43226
Artifacts generated from 2ffbcf650693954022165b40e1edb8147638432a
Migrate Definitions.tex to Definitions.md
Closes issue #899.
Merge branch 'master' into 893-broken-link-in-fees
Removed redundant static Notation.tex file (#900)
Merge branch 'master' into 879-remove-notationtex
Resolves conformance failure
/Conway/Imp/Conformance with constrained generators/ImpTests/Conway Imp conformance/RATIFY/Voting/Active voting stake/Predefined DReps/AlwaysAbstain
Replicate functionality from spec in conf EPOCH
Merge pull request #896 from IntersectMBO/fd/build-hs-ci
Build the extracted Haskell code in CI
Build the extracted Haskell in a CI job
Artifacts generated from 2e8ab13ac7459d277020d67bf8f30dfcbbe24419
Artifacts generated from f5009125d02a718f52e2bcc72ce9f6c25f21be35
Artifacts generated from d6521afc3de6d2c97eaea48e6578fec165173b20
Merge branch 'master' into 893-broken-link-in-fees