Paper-Proof/paperproof
@Paper-ProofLean प्रमेय प्रमाणन इंटरफ़ेस जो पेन-और-पेपर प्रूफ जैसा महसूस होता है।
स्टार
545
फ़ोर्क
18
भाषा
TypeScript
लाइसेंस
MIT
आख़िरी push
1 दिन पहले
संबंधित intel (0)
अभी कोई संबंधित intel नहीं
यह रिपॉजिटरी radar द्वारा ट्रैक किए जाने वाले किसी भी स्रोत में अभी तक नहीं आई है। कलेक्टर एक शेड्यूल पर चलता है — जब यह इस रिपॉजिटरी को कवर करे तब वापस देखें।