proof-tree-builder/proof-tree-builder.github.io

Folding and unfolding proof trees to handle big proof trees

Closed this issue 3 years ago · 0 comments

joom commented 3 years ago

Folding and unfolding proof trees to handle big proof trees