MAPress
فروشگاه
وبلاگ
سبد خرید
ورود
تگ: اثبات قضیه
کتاب اثبات قضایای نظریه اعداد در Lean: مبانی و کاربردها
249,950 تومان
کتاب مقدمهای بر اثباتگر قضیه Lean 5.0: ابزاری برای استدلال صوری و اثبات گزارهها
249,950 تومان
کتاب EconProver: ساخت LLMهای اثبات قضیه سبک و قدرتمند با کسری از هزینه
249,950 تومان
