ProvingFunctionCorrectnessDemo.sln


Microsoft Visual Studio Solution File, Format Version 12.00
# Visual Studio Version 17
VisualStudioVersion = 17.0.31903.59
MinimumVisualStudioVersion = 10.0.40219.1
Project("{2150E333-8FDC-42A3-9474-1A3956D46DE8}") = "src", "src", "{F711305B-54DA-47CB-9DC8-ABB8B59104BF}"
EndProject
Project("{F2A71F9B-5D33-465A-A702-920D77279786}") = "ProvingFunctionCorrectnessDemo", "src\ProvingFunctionCorrectnessDemo\ProvingFunctionCorrectnessDemo.fsproj", "{7C6B0462-5933-4E6C-B83C-952A497DB03E}"
EndProject
Global
	GlobalSection(SolutionConfigurationPlatforms) = preSolution
		Debug|Any CPU = Debug|Any CPU
		Release|Any CPU = Release|Any CPU
	EndGlobalSection
	GlobalSection(SolutionProperties) = preSolution
		HideSolutionNode = FALSE
	EndGlobalSection
	GlobalSection(ProjectConfigurationPlatforms) = postSolution
		{7C6B0462-5933-4E6C-B83C-952A497DB03E}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
		{7C6B0462-5933-4E6C-B83C-952A497DB03E}.Debug|Any CPU.Build.0 = Debug|Any CPU
		{7C6B0462-5933-4E6C-B83C-952A497DB03E}.Release|Any CPU.ActiveCfg = Release|Any CPU
		{7C6B0462-5933-4E6C-B83C-952A497DB03E}.Release|Any CPU.Build.0 = Release|Any CPU
	EndGlobalSection
	GlobalSection(NestedProjects) = preSolution
		{7C6B0462-5933-4E6C-B83C-952A497DB03E} = {F711305B-54DA-47CB-9DC8-ABB8B59104BF}
	EndGlobalSection
EndGlobal