OKR is a method to define goal and measure achievement. It has been defined by Andy Grove, popularized By John Doerr that taught it to Larry Page in 1999.
I've discovered it this morning reading John Doerr's book: "Measure What Matters".
https://www.whatmatters.com/faqs/okr-meaning-definition-example/