Lean শেখার উপায়

Lean একইসাথে একটি জেনারেল-পারপাস ফাংশনাল প্রোগ্রামিং ভাষা এবং একটি প্রুফ অ্যাসিস্ট্যান্ট। Lean শেখার জন্য অসংখ্য রিসোর্স রয়েছে, যার মধ্যে কিছু এর প্রোগ্রামিং দিক নিয়ে, আর কিছু থিওরেম প্রুভার হিসেবে এর ব্যবহার নিয়ে।

Functional Programming in Lean বইটি Lean ব্যবহার করে ফাংশনাল প্রোগ্রামিং প্যারাডাইমের একটি পরিচিতি। এটি এমন প্রোগ্রামারদের কথা মাথায় রেখে লেখা, যারা Lean শিখতে চান, এমনকি তাদের ফাংশনাল প্রোগ্রামিং ভাষার কোনো পূর্ব অভিজ্ঞতা না থাকলেও।

Lean-এ থিওরেম প্রুভিং আরও গভীরভাবে দেখতে চাইলে Theorem Proving in Lean 4 বইটিকে একটি অফিসিয়াল রিসোর্স হিসেবে তালিকাভুক্ত করা হয়েছে।

The Lean Language Reference হলো ভাষাটি সম্পর্কে বিস্তারিত তথ্যের প্রামাণ্য উৎস।

Lean শেখার আরও অনেক রিসোর্স Lean Community থেকে পাওয়া যায়।