MetaRocq/metarocq
@MetaRocqMetapemrograman, meta-teori terverifikasi, dan implementasi Rocq di Rocq
Bintang
550
Fork
99
Bahasa
Rocq Prover
Lisensi
MIT
Push terakhir
3 minggu yang lalu
Intel terkait (0)
Belum ada intel terkait
Repositori ini belum muncul di sumber mana pun yang dilacak radar. Kolektor berjalan sesuai jadwal — periksa kembali setelah mencakup repositori ini.