lean4leanprover
नयाLean 4 एक प्रोग्रामिंग भाषा और प्रमेय प्रमाणक है जो औपचारिक सत्यापन, कार्यात्मक प्रोग्रामिंग और इंटरैक्टिव प्रमाण विकास के लिए है।
OPEN SOURCE, OPEN TO EVERYONE
ओपन सोर्स। नई संभावनाएँ।
उत्कृष्ट ओपन-सोर्स प्रोजेक्ट खोजें, गुमनाम रूप से प्रोजेक्ट सबमिट करें और अपने प्रोजेक्ट का दावा कर उसे संपादित करें।
✳संपादकीय चयन · अच्छा ओपन सोर्स खोजें4109खोजे गए
जिज्ञासा के साथ ओपन सोर्स खोजें।
THE FIRST COLLECTIONTopic: lean清除