Use the checkboxes filter to display the terms of one or multiple taxonomies as checkboxes.
Use the Filter Terms tab to choose the exact terms to show as checkboxes.
And finally Checkboxes Styling can be used to customize the look & feel of the filter.