* PR #161 (from issue #133 - finite interpretation: delete Appendix B):
* blocked by comment by @pchampin - after, ready to merge
* PR #160 (from issue #139 - correctness of entailment rules):
* @pfps finalising the PR - after, ready to merge
* issue #102 - correctness of interpolation lemma:
* finalised the proof to be checked by @pfps and @doerthe - after, ready to be closed
* + new issue #162 - check proofs in Appendix C
* @doerthe finalising it - after, ready to PR and merge
Received on Thursday, 9 October 2025 15:33:36 UTC