Repositori open source terpantau milik UniMath, diurutkan berdasarkan bintang.
Pustaka rocq ini bertujuan untuk memformalkan sebagian besar matematika menggunakan sudut pandang univalen.
