MAPress
فروشگاه
وبلاگ
سبد خرید
ورود
تگ: Proof Assistant
کتاب مبانی نظریه انواع در Lean: اثبات صوری با رویکردی کاربردی
249,950 تومان
