Make Proof recursive
Opened this issue · 0 comments
arturalbov commented
Made Proof (head proof contains chain of proofs) recursive instead of using array of proofs
Opened this issue · 0 comments
Made Proof (head proof contains chain of proofs) recursive instead of using array of proofs