Bahasa Pemrograman · Coq
Coq
Repositori open source terpantau dengan Coq sebagai bahasa utama, diurutkan berdasarkan bintang.
1 repositori
- #1rocq-tricks@rocq-community
Berbagai trik berguna yang tidak disebutkan dalam manual Coq [maintainer=@tchajed]
★ 552+0Perubahan bintang dalam 7 hari terakhir
