Bronsa

Working at https://imandra.ai, building algorithmic verification tools in ocaml using formal methods. @clojure core contributor, contrib author

@imandra-ai London

• 
• 
• 
• 
•