Created a solution and the first two projects: one project to hold the core HOL implementation and another to hold the unit tests for that library.
Enabled NuGet Package Restore on the solution.