تگ: اثبات‌گر لین

کتاب مقدمه‌ای بر اثبات‌گر قضیه Lean 5.0: ابزاری برای استدلال صوری و اثبات گزاره‌ها