MUSTARD
MUSTARD copied to clipboard
Filtered invalid proof
It always outputs Filtered invalid proof. What is the reason?