Meet Prove & Run at FIC 2020