The commented theorem step0 (mynot ' mynot ' mynot ' ...  = mynot ' ...) is partially proved, but contains deamon.
The commented theorem step0 (mynot ' mynot ' mynot ' ...  = mynot ' ...)
is partially proved, but contains deamon.

LPCIC/elpi