मुख्य सामग्री पर जाएँ
buildradar
Sign in

MetaRocq/metarocq

@MetaRocq

मेटाप्रोग्रामिंग, सत्यापित मेटा-थ्योरी और Rocq में Rocq का कार्यान्वयन।

स्टार
551
फ़ोर्क
99
भाषा
Rocq Prover
लाइसेंस
MIT
आख़िरी push
3 सप्ताह पहले
Rocq Provercoqmetaprogrammingcoq-formalizationrocq

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

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