A Tactic Language for Hiproofs.

David Aspinall, Ewen Denney, Christoph Lth

Browse the full AISC paper archive.