প্রকল্প সম্পর্কে

লিন ৪ হলো লিন ৪ প্রোগ্রামিং ভাষা এবং উপপাদ্য প্রমাণকারীর রিপোজিটরি, যা আনুষ্ঠানিক প্রমাণ লেখা ও যাচাই করার পাশাপাশি কার্যকরী প্রোগ্রাম উন্নয়নের একটি সরঞ্জাম। প্রকল্পটি একটি দ্রুত শুরু নির্দেশিকা, একটি হোমপেজ, একটি উপপাদ্য প্রমাণ টিউটোরিয়াল, একটি কার্যকরী প্রোগ্রামিং গাইড, একটি ডকুমেন্টেশন ওভারভিউ, একটি ভাষা রেফারেন্স, v4.0.0-m3 থেকে শুরু হওয়া রিলিজ নোট, উদাহরণ এবং বাহ্যিক অবদান নির্দেশিকা প্রদান করে। ইনস্টলেশন নির্দেশাবলী প্রকল্প সাইটে উপলব্ধ, এবং প্রকল্পটি নথিভুক্ত বিল্ড প্রক্রিয়া অনুসরণ করে সোর্স থেকে তৈরি করা যেতে পারে। অবদানকারীদের পরিবর্তন জমা দেওয়ার আগে অবদান নির্দেশিকা পড়তে বলা হয়।