मुख्य सामग्री पर जाएँ
buildradar
साइन इन करें

AeneasVerif/aeneas

@AeneasVerif

Rust प्रोग्राम्स के लिए एक सत्यापन टूलचेन

स्टार
955
फ़ोर्क
106
भाषा
OCaml
लाइसेंस
Apache-2.0
आख़िरी push
2 दिन पहले
OCamlrustrust-langcoqformal-methodsformal-verificationcompilerproofsocamlleandeductive-reasoningfstarhol4program-verification

अभी कोई संबंधित intel नहीं

यह रिपॉजिटरी radar द्वारा ट्रैक किए जाने वाले किसी भी स्रोत में अभी तक नहीं आई है। कलेक्टर एक शेड्यूल पर चलता है — जब यह इस रिपॉजिटरी को कवर करे तब वापस देखें।