Formal methods expert, writing formally verified code.
lean-cryptolib. Lean
Oolc. An OCaml implementation of Google's Open Location Code.
