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

steshaw/plt

@steshaw

प्रोग्रामिंग लैंग्वेज थ्योरी λΠ।

स्टार
5,362
फ़ोर्क
343
भाषा
CSS
लाइसेंस
आख़िरी push
2 वर्ष पहले
CSSfunctional-programmingtype-theoryprogramming-languagescategory-theorylogicproof-theory

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

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