The buttons are probably the first input device you'll use on BBC micro:bit - this video tells you how you can use them. Find out more at https://www.microbit.org/get-started/user-guide/features-in-depth/
No download links available.