Topik · lean4

lean4

Repositori open source terpantau bertanda lean4, diurutkan berdasarkan bintang.

Repositori

10

Total bintang

21.235

Rata-rata bintang

2.124

Porsi

0,00%

Topik yang sering muncul berdampingan dengan lean4 di repositori yang sama.

Yang sedang naik

Repositori yang dibuat dalam 90 hari terakhir dan bertanda lean4.

Tidak ada repositori baru bertanda topik ini dalam 90 hari terakhir.

#1
lean4 ↗@leanproverLean
Bahasa pemrograman dan pembukti teorema Lean 4
★ 8.928+49Perubahan bintang dalam 7 hari terakhir
#2
mathlib4 ↗@leanprover-communityLean
Pustaka matematika Lean 4
★ 3.986+57Perubahan bintang dalam 7 hari terakhir
#3
YC-Killer ↗@sahibzada-allahyarTypeScript
Pustaka agen AI tingkat perusahaan yang dirancang untuk mendemokratisasikan kecerdasan buatan dan menyediakan alternatif sumber terbuka gratis untuk startup Y Combinator yang dinilai terlalu tinggi.
★ 2.805+14Perubahan bintang dalam 7 hari terakhir
#4
LeanCopilot ↗@lean-dojoC++
LLM sebagai Copilot untuk Pembuktian Teorema di Lean
★ 1.318+4Perubahan bintang dalam 7 hari terakhir
#5
formal-conjectures ↗@google-deepmindLean
Kumpulan pernyataan formal dari konjektur di Lean.
★ 1.219+11Perubahan bintang dalam 7 hari terakhir
#6
LeanDojo ↗@lean-dojoPython
Alat untuk ekstraksi data dan berinteraksi dengan Lean secara terprogram.
★ 832+4Perubahan bintang dalam 7 hari terakhir
#7
lean.nvim ↗@JulianLua
Dukungan Neovim untuk theorem prover Lean
★ 570+1Perubahan bintang dalam 7 hari terakhir
#8
lean4game ↗@leanprover-communityTypeScript
Server untuk menghosting game Lean
★ 546+3Perubahan bintang dalam 7 hari terakhir
#9
paperproof ↗@Paper-ProofTypeScript
Antarmuka pembuktian teorema Lean yang terasa seperti pembuktian dengan pena dan kertas.
★ 543+2Perubahan bintang dalam 7 hari terakhir
#10
SciLean ↗@lecopivoLean
Komputasi ilmiah di Lean 4
★ 526+2Perubahan bintang dalam 7 hari terakhir

← Kembali ke topik