proof-systems
proof-systems copied to clipboard
decomposable folding