I think Leo de Moura was at Microsoft at the time when he was developing the Lean proof assistant. He once commented that he was fairly sure the CEO did not know the language existed or that it was being developed within MS. I found that pretty funny, and probably entirely accurate!