S

skverify

An SK-calculus expression reduction verifier