![github-actions[bot]](https://avatars.githubusercontent.com/in/15368?v=4&s=80)
Artifacts generated from 78736770496323d99a6ca471ea9e4c3df95e120f
Home /
Input Output /
formal-ledger-specifications
Jan 23, 10-11 PM (0)
Jan 23, 11-12 AM (0)
Jan 24, 12-1 AM (0)
Jan 24, 1-2 AM (0)
Jan 24, 2-3 AM (2)
Jan 24, 3-4 AM (2)
Jan 24, 4-5 AM (3)
Jan 24, 5-6 AM (0)
Jan 24, 6-7 AM (0)
Jan 24, 7-8 AM (0)
Jan 24, 8-9 AM (0)
Jan 24, 9-10 AM (0)
Jan 24, 10-11 AM (0)
Jan 24, 11-12 PM (0)
Jan 24, 12-1 PM (0)
Jan 24, 1-2 PM (0)
Jan 24, 2-3 PM (0)
Jan 24, 3-4 PM (0)
Jan 24, 4-5 PM (0)
Jan 24, 5-6 PM (10)
Jan 24, 6-7 PM (2)
Jan 24, 7-8 PM (0)
Jan 24, 8-9 PM (0)
Jan 24, 9-10 PM (0)
Jan 24, 10-11 PM (0)
Jan 24, 11-12 AM (0)
Jan 25, 12-1 AM (0)
Jan 25, 1-2 AM (0)
Jan 25, 2-3 AM (0)
Jan 25, 3-4 AM (0)
Jan 25, 4-5 AM (0)
Jan 25, 5-6 AM (0)
Jan 25, 6-7 AM (0)
Jan 25, 7-8 AM (0)
Jan 25, 8-9 AM (0)
Jan 25, 9-10 AM (0)
Jan 25, 10-11 AM (0)
Jan 25, 11-12 PM (0)
Jan 25, 12-1 PM (0)
Jan 25, 1-2 PM (0)
Jan 25, 2-3 PM (0)
Jan 25, 3-4 PM (0)
Jan 25, 4-5 PM (0)
Jan 25, 5-6 PM (0)
Jan 25, 6-7 PM (0)
Jan 25, 7-8 PM (0)
Jan 25, 8-9 PM (0)
Jan 25, 9-10 PM (0)
Jan 25, 10-11 PM (0)
Jan 25, 11-12 AM (0)
Jan 26, 12-1 AM (0)
Jan 26, 1-2 AM (0)
Jan 26, 2-3 AM (0)
Jan 26, 3-4 AM (0)
Jan 26, 4-5 AM (0)
Jan 26, 5-6 AM (0)
Jan 26, 6-7 AM (0)
Jan 26, 7-8 AM (0)
Jan 26, 8-9 AM (0)
Jan 26, 9-10 AM (0)
Jan 26, 10-11 AM (0)
Jan 26, 11-12 PM (0)
Jan 26, 12-1 PM (0)
Jan 26, 1-2 PM (2)
Jan 26, 2-3 PM (1)
Jan 26, 3-4 PM (0)
Jan 26, 4-5 PM (0)
Jan 26, 5-6 PM (0)
Jan 26, 6-7 PM (0)
Jan 26, 7-8 PM (0)
Jan 26, 8-9 PM (0)
Jan 26, 9-10 PM (0)
Jan 26, 10-11 PM (0)
Jan 26, 11-12 AM (0)
Jan 27, 12-1 AM (3)
Jan 27, 1-2 AM (1)
Jan 27, 2-3 AM (1)
Jan 27, 3-4 AM (9)
Jan 27, 4-5 AM (1)
Jan 27, 5-6 AM (0)
Jan 27, 6-7 AM (0)
Jan 27, 7-8 AM (0)
Jan 27, 8-9 AM (0)
Jan 27, 9-10 AM (0)
Jan 27, 10-11 AM (0)
Jan 27, 11-12 PM (0)
Jan 27, 12-1 PM (0)
Jan 27, 1-2 PM (0)
Jan 27, 2-3 PM (3)
Jan 27, 3-4 PM (11)
Jan 27, 4-5 PM (2)
Jan 27, 5-6 PM (0)
Jan 27, 6-7 PM (4)
Jan 27, 7-8 PM (5)
Jan 27, 8-9 PM (0)
Jan 27, 9-10 PM (3)
Jan 27, 10-11 PM (2)
Jan 27, 11-12 AM (0)
Jan 28, 12-1 AM (0)
Jan 28, 1-2 AM (0)
Jan 28, 2-3 AM (0)
Jan 28, 3-4 AM (16)
Jan 28, 4-5 AM (15)
Jan 28, 5-6 AM (2)
Jan 28, 6-7 AM (1)
Jan 28, 7-8 AM (0)
Jan 28, 8-9 AM (0)
Jan 28, 9-10 AM (0)
Jan 28, 10-11 AM (4)
Jan 28, 11-12 PM (5)
Jan 28, 12-1 PM (1)
Jan 28, 1-2 PM (1)
Jan 28, 2-3 PM (1)
Jan 28, 3-4 PM (3)
Jan 28, 4-5 PM (3)
Jan 28, 5-6 PM (2)
Jan 28, 6-7 PM (0)
Jan 28, 7-8 PM (0)
Jan 28, 8-9 PM (0)
Jan 28, 9-10 PM (0)
Jan 28, 10-11 PM (0)
Jan 28, 11-12 AM (0)
Jan 29, 12-1 AM (0)
Jan 29, 1-2 AM (0)
Jan 29, 2-3 AM (2)
Jan 29, 3-4 AM (1)
Jan 29, 4-5 AM (3)
Jan 29, 5-6 AM (5)
Jan 29, 6-7 AM (4)
Jan 29, 7-8 AM (0)
Jan 29, 8-9 AM (0)
Jan 29, 9-10 AM (0)
Jan 29, 10-11 AM (10)
Jan 29, 11-12 PM (3)
Jan 29, 12-1 PM (0)
Jan 29, 1-2 PM (2)
Jan 29, 2-3 PM (1)
Jan 29, 3-4 PM (2)
Jan 29, 4-5 PM (2)
Jan 29, 5-6 PM (3)
Jan 29, 6-7 PM (6)
Jan 29, 7-8 PM (1)
Jan 29, 8-9 PM (0)
Jan 29, 9-10 PM (0)
Jan 29, 10-11 PM (0)
Jan 29, 11-12 AM (0)
Jan 30, 12-1 AM (0)
Jan 30, 1-2 AM (0)
Jan 30, 2-3 AM (0)
Jan 30, 3-4 AM (0)
Jan 30, 4-5 AM (0)
Jan 30, 5-6 AM (2)
Jan 30, 6-7 AM (4)
Jan 30, 7-8 AM (0)
Jan 30, 8-9 AM (0)
Jan 30, 9-10 AM (0)
Jan 30, 10-11 AM (3)
Jan 30, 11-12 PM (1)
Jan 30, 12-1 PM (5)
Jan 30, 1-2 PM (4)
Jan 30, 2-3 PM (2)
Jan 30, 3-4 PM (2)
Jan 30, 4-5 PM (0)
Jan 30, 5-6 PM (0)
Jan 30, 6-7 PM (0)
Jan 30, 7-8 PM (0)
Jan 30, 8-9 PM (0)
Jan 30, 9-10 PM (0)
Jan 30, 10-11 PM (0)
189 commits this week
Jan 23, 2026
-
Jan 30, 2026
Artifacts generated from 7c95c6c2666fea12a94c5e05f13e33f74ec0112c
Remove SUBUTXOS; move state changing logic to UTXO/SUBUTXO; add isValid branching in UTXO (#1060)
Remove SUBUTXOS; move state changing logic to UTXO/SUBUTXO; add isValid branching in UTXO
Remove SUBUTXOS; move state changing logic to UTXO/SUBUTXO; add isValid branching in UTXO
Artifacts generated from 1d94971ddccbb236ecf130be14d7b9de60932907
Artifacts generated from be3de5afd53fb1b85073ede6478394fc20650b0b
Format inline documentation
Artifacts generated from c812344f7d37d0be8831be6a81b63c1e311abc34
Add premise on maxBlockExUnits to BBODY
Eliminate do notation from time translatability premise
Artifacts generated from 3fb32e36baee02c568f12651f4c34f4bde24596e
Remove SUBUTXOS; move state changing logic to UTXO/SUBUTXO; add isValid branching in UTXO
Artifacts generated from f56eadf71d7a6a2f3b51ce4b09f0871fac51f1c6
Artifacts generated from 0d87e53e70ee3646a762a291abb501b530acf2ed
Remove SUBUTXOS; move state changing logic to UTXO/SUBUTXO; add isValid branching in UTXO
Artifacts generated from a02cbb03ae70ea533b53487c2dd4c94e5f8ebb10
Artifacts generated from 9437cc553683dd5ddc9ca515aef18a103be5c502
Artifacts generated from 38915b9306e9002aab60fba40b441495d65089f2
Artifacts generated from 0765c12854bd8f5c1660fcc81ffba58f11e3f76f
address PR change request
organize fns getting ℙ TxIn, ℙ TxOut, ℙ Script, ℙ Datum
collect and organize all helper functions that return inhabitants of the following types: ℙ TxIn, ℙ TxOut, ℙ Script, ℙ Datum
Artifacts generated from 958bac567ccbb102d38ec026e63b11ea6708c009
fix refScriptsSize upper bounds