Commit 2024-07-28 23:22 e026b770
View on Github →chore(ModelTheory/Encoding): improve the encoding of formulas to avoid sizeOf
(#15209)
Edits the decoding of lists into first-order formulas, so that the proof of well-foundedness is easier and no longer invokes sizeOf
.