Mike Kuykendall

Mike Kuykendall

Software engineer for over twenty years.
Logician
Logician Type-safe SMT solver driver for Rust—no C++ toolchain needed