This is the companion repo to the Compositional IT blog post Proving function correctness with property-based tests.
Code is in ./src/ProvingFunctionCorrectnessDemo/Program.fs. It can be run using dotnet run from in the ./src/ProvingFunctionCorrectnessDemo/ directory.