X16: Advanced structures: Unbounded sets, choose, powersets, function sets
No due date
38% complete
Work related to features and refactoring of a..b, Int, Nat, CHOOSE x \in S: P, SUBSET S, and [S -> T]. There is a body of work, where we can improve or fix the encoding.
Work related to features and refactoring of a..b, Int, Nat, CHOOSE x \in S: P, SUBSET S, and [S -> T]. There is a body of work, where we can improve or fix the encoding.