मालिक · Paper-Proof
Paper-Proof
Paper-Proof की ट्रैक की गई ओपन सोर्स रिपॉजिटरी, स्टार के हिसाब से क्रमबद्ध।
1 रिपॉजिटरी
- #1
Lean प्रमेय प्रमाणन इंटरफ़ेस जो पेन-और-पेपर प्रूफ जैसा महसूस होता है।
★ 545+3पिछले 7 दिनों में स्टार का बदलाव
Paper-Proof की ट्रैक की गई ओपन सोर्स रिपॉजिटरी, स्टार के हिसाब से क्रमबद्ध।
Lean प्रमेय प्रमाणन इंटरफ़ेस जो पेन-और-पेपर प्रूफ जैसा महसूस होता है।