-
Notifications
You must be signed in to change notification settings - Fork 20
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
No documented devShell type-checks
formal-ledger-testbugSomething isn't workingSomething isn't workingdocumentationImprovements or additions to documentationImprovements or additions to documentationStatus: Open.#1315 In IntersectMBO/formal-ledger-specifications;- Status: Open.
[Conway] The last vote is applied at the CHAIN level
era:conwayconway eraconway erapropertyLedger property (tracked in the catalog)Ledger property (tracked in the catalog)status:ideaIdentified; no statement in Agda yet (module is "").Identified; no statement in Agda yet (module is "").sts:CHAINCHAIN transition systemCHAIN transition systemStatus: Open.#1312 In IntersectMBO/formal-ledger-specifications;[Property tracking] improved design: replace prose marker with typechecked statement-proof pair
documentationImprovements or additions to documentationImprovements or additions to documentationStatus: Open.#1311 In IntersectMBO/formal-ledger-specifications;- Status: Open.#1301 In IntersectMBO/formal-ledger-specifications;
- Status: Open.#1298 In IntersectMBO/formal-ledger-specifications;
- Status: Open.#1296 In IntersectMBO/formal-ledger-specifications;
- Status: Open.#1295 In IntersectMBO/formal-ledger-specifications;
- Status: Open.#1293 In IntersectMBO/formal-ledger-specifications;
- Status: Open.#1287 In IntersectMBO/formal-ledger-specifications;
- Status: Open.#1284 In IntersectMBO/formal-ledger-specifications;
- Status: Open.#1281 In IntersectMBO/formal-ledger-specifications;