Lean

Bu makale, Lean 4 ve Mathlib ortamında biçimsel olarak doğrulanmış, ancak çoğu matematikçiye oldukça şaşırtıcı ve hatta rahatsız edici gelebilecek bir dizi "önemsiz teoremi" sunuyor. Tip teorisine aşi...