simple-dp An alternative decision procedure for LK'. The outline of the original procedure is given by Takeuti(1975). This procedure performs slightly better than the original one. Course project for proof theory.