uwplse/verdi
@uwplseCoq में वितरित सिस्टम कार्यान्वयन को औपचारिक रूप से सत्यापित करने के लिए एक फ्रेमवर्क
स्टार
626
फ़ोर्क
58
भाषा
Rocq Prover
लाइसेंस
BSD-2-Clause
आख़िरी push
7 माह पहले
संबंधित intel (0)
अभी कोई संबंधित intel नहीं
यह रिपॉजिटरी radar द्वारा ट्रैक किए जाने वाले किसी भी स्रोत में अभी तक नहीं आई है। कलेक्टर एक शेड्यूल पर चलता है — जब यह इस रिपॉजिटरी को कवर करे तब वापस देखें।