A Combinator Language for Theorem Discovery.

Phil Scott, Jacques D. Fleuriot

Browse the full AISC paper archive.