lean4leanprover
নতুনলিন ৪ একটি প্রোগ্রামিং ভাষা এবং উপপাদ্য প্রমাণকারী, যা আনুষ্ঠানিক যাচাই, কার্যকরী প্রোগ্রামিং এবং ইন্টারঅ্যাকটিভ প্রমাণ উন্নয়নের জন্য ব্যবহৃত হয়।
OPEN SOURCE, OPEN TO EVERYONE
ওপেন সোর্স। নতুন সম্ভাবনা।
মানসম্মত ওপেন-সোর্স প্রজেক্ট আবিষ্কার করুন, বেনামে প্রজেক্ট জমা দিন এবং নিজের প্রজেক্ট দাবি করে সম্পাদনা করুন।
✳সম্পাদকের পছন্দ · ভালো ওপেন সোর্স খুঁজুন4101আবিষ্কৃত
কৌতূহল নিয়ে ওপেন সোর্স আবিষ্কার করুন।
THE FIRST COLLECTIONTopic: lean清除