PrincetonUniversity/VST
@PrincetonUniversityसत्यापित सॉफ़्टवेयर टूलचेन (Verified Software Toolchain)
स्टार
508
फ़ोर्क
103
भाषा
Rocq Prover
लाइसेंस
NOASSERTION
आख़िरी push
5 दिन पहले
संबंधित intel (0)
अभी कोई संबंधित intel नहीं
यह रिपॉजिटरी radar द्वारा ट्रैक किए जाने वाले किसी भी स्रोत में अभी तक नहीं आई है। कलेक्टर एक शेड्यूल पर चलता है — जब यह इस रिपॉजिटरी को कवर करे तब वापस देखें।