1/ AKSIN SERBEST VERİLİRİLİŞİ: Axiom Yalın Motoru ⚙️ Temel Altyapımıza resmi kanıt için büyük ölçekte hizmet veriyoruz. Bunlar, AxiomProver'ın arkasındaki aynı Lean metaprogramlama araçlarıdır ve Putnam'ı kazanmasına ve araştırma varsayımlarını açmasına güç veriyor. Bugün herkes için mevcut!