-
Notifications
You must be signed in to change notification settings - Fork 19
Issues
is:issue state:open
is:issue state:open
Issue creation is restricted in this repository
Search results
- 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;
- Status: Open.#1237 In IntersectMBO/formal-ledger-specifications;
- Status: Open.#1236 In IntersectMBO/formal-ledger-specifications;
- Status: Open.#1235 In IntersectMBO/formal-ledger-specifications;
- Status: Open.#1234 In IntersectMBO/formal-ledger-specifications;
- Status: Open.#1233 In IntersectMBO/formal-ledger-specifications;