c-cube

c_cube@hachyderm.io

<p>My current interest revolve around OCaml, Rust, automatic theorem proving, SMT and SAT solving, learning computer graphics.</p>