1 hikaye bu etiketle işaretlenmiş
"From Zero to QED" başlıklı bu makale serisi, Lean 4 kullanarak resmi yöntemlere gayri resmi bir giriş sunuyor. Lean dilini temel prensiplerden başlayarak öğretmeyi amaçlayan bu seri, dağınık ve eksik...
Tüm haberler yüklendi