Proof driven remote first software project