Memuat...
Kembali ke Katalog

2018 Interactive Theorem Proving (Jeremy Avigad, Assia Mahboubi)