- Open editor at https://makecode.microbit.org
- Open Add Package dialog from the setting menu (gear) near top right corner.
- Type the github package URL: https://github.com/LaboratoryForPlayfulComputation/pxt-proximity - this will also add the Microsoft's Bluetooth package to your project. If you have conflicting packages (like radio or neopixel), a dialog box will ask to remove those packages
- for PXT/microbit