ProofGeneral/PG
@ProofGeneralयह रिपॉजिटरी Proof General का नया होम है
स्टार
558
फ़ोर्क
109
भाषा
Emacs Lisp
लाइसेंस
GPL-3.0
आख़िरी push
2 सप्ताह पहले
संबंधित intel (0)
अभी कोई संबंधित intel नहीं
यह रिपॉजिटरी radar द्वारा ट्रैक किए जाने वाले किसी भी स्रोत में अभी तक नहीं आई है। कलेक्टर एक शेड्यूल पर चलता है — जब यह इस रिपॉजिटरी को कवर करे तब वापस देखें।