Interactive Solution Viewers for Automated Theorem Proving.

Daniel Li, Esteban Morales, Geoff Sutcliffe, Jack McKeown

Browse the full FlAIRS paper archive.