Bilim
Hopf probleminin çözümü Lean ile resmileştirildi
Matematik dünyasında uzun süredir tartışılan Hopf problemi için sunulan çözüm, Lean etkileşimli teorem kanıtlama dili kullanılarak dijital ortamda resmileştirildi. Çalışma, 6 boyutlu kürenin standart…
MatematikLeanAçık Kaynak