Bahasa Pemrograman · Lean

Lean

Repositori open source terpantau dengan Lean sebagai bahasa utama, diurutkan berdasarkan bintang.

12 repositori

#1
lean4@leanproverLean
Bahasa pemrograman dan pembukti teorema Lean 4
★ 8.920+46Perubahan bintang dalam 7 hari terakhir
#2
mathlib4@leanprover-communityLean
Pustaka matematika Lean 4
★ 3.958+42Perubahan bintang dalam 7 hari terakhir
#3
analysis@teorthLean
Pendamping Lean untuk Analysis I
★ 1.876+10Perubahan bintang dalam 7 hari terakhir
#4
formal-conjectures@google-deepmindLean
Kumpulan pernyataan formal dari konjektur di Lean.
★ 1.205+11Perubahan bintang dalam 7 hari terakhir
#5
FLT@ImperialCollegeLondonLean
Formalisasi Lean yang sedang berlangsung untuk pembuktian Teorema Terakhir Fermat.
★ 982+9Perubahan bintang dalam 7 hari terakhir
#6
superhuman@google-deepmindLean
★ 794+5Perubahan bintang dalam 7 hari terakhir
#7
physlib@leanprover-communityLean
Proyek untuk mendigitalisasi hasil dari fisika ke dalam Lean.
★ 712+9Perubahan bintang dalam 7 hari terakhir
#8
Cosette@uwdbLean
Cosette adalah pemecah SQL otomatis.
★ 686+0Perubahan bintang dalam 7 hari terakhir
#9
cslib@leanproverLean
Perpustakaan Ilmu Komputer Lean (CSLib)
★ 671+11Perubahan bintang dalam 7 hari terakhir
#10
smalltt@AndrasKovacsLean
Demo untuk elaborasi teori tipe berkinerja tinggi
★ 597+3Perubahan bintang dalam 7 hari terakhir
#11
equational_theories@teorthLean
Sebuah proyek untuk memetakan hubungan antara berbagai teori persamaan Magma.
★ 550+1Perubahan bintang dalam 7 hari terakhir
#12
SciLean@lecopivoLean
Komputasi ilmiah di Lean 4
★ 525+2Perubahan bintang dalam 7 hari terakhir