تگ: استدلال صوری

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