Skip to content

Latest commit

 

History

History
4 lines (3 loc) · 182 Bytes

README.md

File metadata and controls

4 lines (3 loc) · 182 Bytes

ResolveSpecDjango

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