Login / Signup

Preface: Selected Extended Papers from Interactive Theorem Proving 2018.

Jeremy AvigadAssia Mahboubi
Published in: J. Autom. Reason. (2020)
Keyphrases