Assia Mahboubi
Assia Mahboubi has written at least 1 book. Their most popular book is Interactive Theorem Proving with 0 saves with an average rating of -⭐.
Interactive Theorem Proving
ByJeremy Avigad,Assia Mahboubi
2018 • 642 pages
Assia Mahboubi has written at least 1 book. Their most popular book is Interactive Theorem Proving with 0 saves with an average rating of -⭐.
2018 • 642 pages