proof-systems icon indicating copy to clipboard operation
proof-systems copied to clipboard

decomposable folding

Open fabrizio-m opened this issue 1 year ago • 0 comments

fabrizio-m avatar Feb 27 '24 20:02 fabrizio-m