Scaling formal verification to accelerate scientific discovery. Trade Cajal on Upround: a live price, the funding record, and markets on what happens...