Title: Research in interactive theorem proving at Edinburgh University