The Mijia Mi Smart Projector 2 Pro is a relatively portable FHD projector launched by Xiaomi with the potential advantage of a time-of-flight (ToF) sensor for added focus capabilities in late 2020 in China. Now, it has a Global variant, which means it runs Android TV and is available on Banggood from now.
https://www.notebookcheck.net/Xiaomi-releases-a-Global-version-of-the-Mijia-Mi-Smart-Projector-2-Pro-to-Banggood.526420.0.html