Login / Signup

Erratum to: Interactive Theorem Proving.

Jeremy AvigadAssia Mahboubi
Published in: ITP (2018)
Keyphrases
  • interactive theorem proving