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

formal-land/rocq-of-rust

@formal-land

Rust के लिए फॉर्मल वेरिफिकेशन टूल: अधिक सुरक्षित एप्लिकेशन बनाने के लिए अपने प्रोग्राम के 100% निष्पादन मामलों की जांच करें।

स्टार
1,164
फ़ोर्क
44
भाषा
Rocq Prover
लाइसेंस
आख़िरी push
8 घंटे पहले
Rocq Proverrustformal-verificationproofrocq

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

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