proof-systems
proof-systems copied to clipboard
absorb instances in folding
Any update @fabrizio-m?