Proof development and proof assistants



Back to Zhaohui Luo's Publications page.