The Axiom of False

Posts

  • Jul 22, 2016

    A Formal Verification of Rust's Binary Search Implementation

subscribe via RSS

  • The Axiom of False
  • Sebastian Ullrich
  • Kha
  • derKha

It's hard to give a blog description if you only have a single post.