Programlama
HOL Light teorem kanıtlama aracı için yeni başlangıç kılavuzu hazırlandı
HOL Light projesi, matematiksel ifadelerin ve mantıksal iddiaların doğrulanmasında kullanılan teorem kanıtlama sisteminin temellerini anlatan yeni bir başlangıç kılavuzu yayımladı. Standart kullanım…
HOL LightOCamlMatematik