junglefowl (cargo): Brutally murdering Rust's type system one proof at a time.
Keywords: logic|proofs|types|metaprogramming|math