Skip to content

Updated version of the Delete Theorem in Disj.LP, along with related encodings and theorems#60

Merged
fblanqui merged 1 commit into
Deducteam:masterfrom
melanie-taprogge:master
Feb 2, 2026
Merged

Updated version of the Delete Theorem in Disj.LP, along with related encodings and theorems#60
fblanqui merged 1 commit into
Deducteam:masterfrom
melanie-taprogge:master

Added more convenient version of delete theorem

c150635
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.