Skip to main content

is_equiv_chain_of_thought

Strips the solution first before calling is_equiv. Parameters: