ResolveSpecDjango Site that provides the outline and description for the Resolve Verification Language. The site is designed to allow for any programming language specification.