Skip to content

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.

Loading