Repositori open source terpantau milik MetaRocq, diurutkan berdasarkan bintang.
Metapemrograman, meta-teori terverifikasi, dan implementasi Rocq di Rocq
