rocq-community/rocq-tricks
@rocq-communityBerbagai trik berguna yang tidak disebutkan dalam manual Coq [maintainer=@tchajed]
Bintang
552
Fork
25
Bahasa
Coq
Lisensi
MIT
Push terakhir
1 tahun 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.