The Raspberry Pi Pico platform has several prerequisites that require install and setup which is especially convoluted when not on Linux/Raspberry Pi OS.
Shawn Hymel has the most comprehensive guide to installing, setting up and verifying the Pico C/C++ Toolchain. His videos on setting up VS Code and the Picoprobe debugger are the most comprehensive around.
Getting Started with Pico is the Raspberry Pi Foundation's official documentation for getting started with C/C++ Development. I would recommend following it for simplicity on Linux, Raspberry Pi OS, and Mac OS, however the setup on Windows is convoluted and requires the install of Build Tools for Visual Studio (at minimum 6GBs) and requires startup of VS Code through the Build tools command line every time so that NMake Makefiles can be used. Alternatively using MinGW Makefiles and following the below instructions the development environment can be streamlined and run through visual studio normally as with any other development environment.
How to Set Up Raspberry Pi Pico C/C++ Toolchain on Windows with VS Code
Intro to Raspberry Pi Pico and RP2040 - C/C++ Part 1: VS Code and Blink | Digi-Key Electronics
Intro to Raspberry Pi Pico and RP2040 - C/C++ Part 2: Debug with Picoprobe | Digi-Key Electronics
This can be done either through Github Desktop, or Git Bash. For both, ensure you are logged in with a valid access token to enable write access.
From git bash command line, navigate to the C:\VSARM\lib\ directory. Execute the command :
git clone https://github.com/benjaminaheath/bioinsprobo.git
This will clone the directory into the VSARM libraries folder.
Project source code and headers written for project applications.
Contains externally linked libraries used in applications.
Directory for executables.