1. Beranda
  2. E-Book
  3. 2018 Interactive Theorem Proving (Jeremy...
E-Book

2018 Interactive Theorem Proving (Jeremy Avigad, Assia Mahboubi)