A proof developer and functional programmer on Tezos, CEO of proof ninja, Inc.