Các kho mã nguồn mở đang theo dõi của UniMath, sắp xếp theo số sao.
Thư viện rocq này nhằm mục đích chính thức hóa một khối lượng lớn toán học bằng cách sử dụng quan điểm univalent.
