Bilim
Sonlu basit grupların sınıflandırılması Lean ile doğrulandı
Araştırmacılar, modern matematiğin en kapsamlı sonuçlarından biri olan sonlu basit grupların sınıflandırılması teoreminin ilk nesil kanıtını Lean etkileşimli teorem kanıtlama yazılımında tamamen…
MatematikLeanFormal Doğrulama