provably-correct

There are 0 repository under provably-correct topic.

• cyberfined / binary-tree-agda

  Provably correct indexed binary search tree

  agdabinary-search-treeprovably-correct
  Language:Agda 0

• 0xd34df00d / gcd

  Euclidean algorithm, formally verified, provably correct

  idrisformal-verificationformally-verifiedprovably-correct
  Language:Idris