Bugün ilk sponsor olarak @leanprover'a 300 bin dolar bağışlayacağız! Matematiksel akıl yürütmenin geleceğinin resmi doğrulamada olduğuna inanıyoruz. Modelimiz Aristoteles, hataları ortadan kaldırmak ve sonuçları doğrulamak için Lean'ı kullanır. Güvenli ve doğru Matematiksel Süper Zekayı mümkün kılan araçları ve insanları desteklemekten büyük mutluluk duyuyoruz.