Pemilik · leanprover

leanprover

Repositori open source terpantau milik leanprover, diurutkan berdasarkan bintang.

3 repositori

#1
lean4 ↗@leanproverLean
Bahasa pemrograman dan pembukti teorema Lean 4
★ 8.960+32Perubahan bintang dalam 7 hari terakhir
#2
cslib ↗@leanproverLean
Perpustakaan Ilmu Komputer Lean (CSLib)
★ 693+15Perubahan bintang dalam 7 hari terakhir
#3
elan ↗@leanproverRust
Manajer versi Lean
★ 614+8Perubahan bintang dalam 7 hari terakhir