-
Notifications
You must be signed in to change notification settings - Fork 19
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
- Status: Open.#1261 In IntersectMBO/formal-ledger-specifications;
- Status: Open.#1260 In IntersectMBO/formal-ledger-specifications;
Missing fields from
StakePoolParamsbugSomething isn't workingSomething isn't workingStatus: Open.#1259 In IntersectMBO/formal-ledger-specifications;[Dijkstra] Document ENTITIES/SUBENTITIES
documentationImprovements or additions to documentationImprovements or additions to documentationStatus: Open.#1257 In IntersectMBO/formal-ledger-specifications;flake: use git+https for inputs so
nix developworks behind the GitHub tarball proxydiscuss in meetingThings to discuss in the next formal ledger meetingThings to discuss in the next formal ledger meetingStatus: Open.#1254 In IntersectMBO/formal-ledger-specifications;- Status: Open.#1249 In IntersectMBO/formal-ledger-specifications;
[Conway] Add
<⇒sucᵉ≤axiom toEpochStructurediscuss in meetingThings to discuss in the next formal ledger meetingThings to discuss in the next formal ledger meetingStatus: Open.#1248 In IntersectMBO/formal-ledger-specifications;- Status: Open.#1246 In IntersectMBO/formal-ledger-specifications;
- Status: Open.#1241 In IntersectMBO/formal-ledger-specifications;
- Status: Open.#1240 In IntersectMBO/formal-ledger-specifications;
- Status: Open.#1239 In IntersectMBO/formal-ledger-specifications;
- Status: Open.#1238 In IntersectMBO/formal-ledger-specifications;