اثبات قضیه خودکار و صوری

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