The Stacks Project, Lean ile Formalize Edildi

Matematiksel bir proje olan The Stacks Project'in, Lean adlı bir doğrulama dilinde formal olarak ifade edilmesi.

Hacker News paylaşan: namanbnsl

Hacker News paylaşım tarihi: 2026-11-05