FStarLang/FStar
@FStarLangएक प्रूफ-ओरिएंटेड प्रोग्रामिंग लैंग्वेज
स्टार
3,103
फ़ोर्क
263
भाषा
F*
लाइसेंस
Apache-2.0
आख़िरी push
6 दिन पहले
संबंधित intel (0)
अभी कोई संबंधित intel नहीं
यह रिपॉजिटरी radar द्वारा ट्रैक किए जाने वाले किसी भी स्रोत में अभी तक नहीं आई है। कलेक्टर एक शेड्यूल पर चलता है — जब यह इस रिपॉजिटरी को कवर करे तब वापस देखें।