প্রশ্ন ট্যাগ «formal-verification»

জিএইচসি কীভাবে প্রাকৃতিক সংখ্যার জন্য প্রমাণ করে যে আপনি কেবল তার চেয়ে আরও অর্ধেক অর্ধেক করতে পারেন তা নির্ধারণ করতে আমি এই ছোট্ট হাস্কেলের কথা লিখেছিলাম: {-# LANGUAGE DataKinds, GADTs, KindSignatures, TypeFamilies #-} module Nat where data Nat = Z | S Nat data Parity = Even | Odd type …

84 haskell  ghc  proof  haskell-platform  formal-verification