मालिक · plfa

plfa

plfa की ट्रैक की गई ओपन सोर्स रिपॉजिटरी, स्टार के हिसाब से क्रमबद्ध।

1 रिपॉजिटरी

#1
plfa.github.io ↗@plfaAgda
Agda में प्रोग्रामिंग भाषा सिद्धांत का परिचय
★ 1,514+0पिछले 7 दिनों में स्टार का बदलाव