Pemilik · leanprover-community

leanprover-community

Repositori open source terpantau milik leanprover-community, diurutkan berdasarkan bintang.

4 repositori

#1
mathlib4 ↗@leanprover-communityLean
Pustaka matematika Lean 4
★ 3.989+15Perubahan bintang dalam 7 hari terakhir
#2
physlib ↗@leanprover-communityLean
Proyek untuk mendigitalisasi hasil dari fisika ke dalam Lean.
★ 721+6Perubahan bintang dalam 7 hari terakhir
#3
mathematics_in_lean ↗@leanprover-communityHTML
Repositori beranda pengguna untuk tutorial Mathematics in Lean.
★ 584+2Perubahan bintang dalam 7 hari terakhir
#4
lean4game ↗@leanprover-communityTypeScript
Server untuk menghosting game Lean
★ 550+5Perubahan bintang dalam 7 hari terakhir