unimath

यह rocq लाइब्रेरी univalent दृष्टिकोण का उपयोग करके गणित के एक बड़े हिस्से को औपचारिक रूप देने का लक्ष्य रखती है।