Bilim
Soyut cebir kitabındaki matematiksel hata teorem kanıtlama aracıyla ortaya çıktı
Dummit ve Foote tarafından yazılan klasik Abstract Algebra kitabındaki ilk alıştırma, biçimsel kanıtlama aracı Rocq ile dijital ortama aktarılırken matematiksel bir açık içerdiği belirlendi. İlgili…
MatematikRocqBiçimsel Doğrulama