Topik · formal-mathematics

formal-mathematics

Repositori open source terpantau bertanda formal-mathematics, diurutkan berdasarkan bintang.

Repositori

Total bintang

2.538

Rata-rata bintang

1.269

Porsi

0,00%

Topik yang sering muncul berdampingan dengan formal-mathematics di repositori yang sama.

Yang sedang naik

Repositori yang dibuat dalam 90 hari terakhir dan bertanda formal-mathematics.

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

#1
LeanCopilot ↗@lean-dojoC++
LLM sebagai Copilot untuk Pembuktian Teorema di Lean
★ 1.318+1Perubahan bintang dalam 7 hari terakhir
#2
formal-conjectures ↗@google-deepmindLean
Kumpulan pernyataan formal dari konjektur di Lean.
★ 1.220+13Perubahan bintang dalam 7 hari terakhir