Choose Your Proofs: Commutativity and Symmetry for Smarter Reasoning.

Azadeh Farzan

Browse the full CADE paper archive.