Typos and general consistency fixes#12

sankalpgambhir wants to merge 1 commit intovprover:mastervprover/vprover.github.io:masterfrom

sankalpgambhir:typos-0908sankalpgambhir/vprover.github.io:typos-0908Copy head branch name to clipboard