SEEKING FREELANCER | REMOTE Looking for a freelancer with experience using proof assistants to help formalize and debug a couple of complex algorithms we've de

SEEKING FREELANCER | REMOTE Looking for a freelancer with experience using proof assistants to help formalize and debug a couple of complex algorithms we've developed. Don't have a strong preference for a particular proof system, but will ask about your preference and why. Keyword bingo: formal methods, coq, agda, isabelle, idris, proof assistant