MaLARea: a Metasystem for Automated Reasoning in Large Theories.

Josef Urban

Browse the full CADE paper archive.