leanprover-community/mathematics_in_lean
@leanprover-communityRepositori beranda pengguna untuk tutorial Mathematics in Lean.
Bintang
584
Fork
414
Bahasa
HTML
Lisensi
Apache-2.0
Push terakhir
2 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.