Closed etiennecallies closed 3 years ago
Implementation of cut elimination in "proof transformation" mode.
But also:
Is it fixing #144 #145 #146 ?
Yes!
Implementation of cut elimination in "proof transformation" mode.
But also: