copyright
Copyright (c) Runtime Verification, Inc. All Rights Reserved.

K Website

Please make sure you have nodejs and npm installed

$ npm install     # install necessary dependencies
$ npm run build   # build the website to ./public_content directory
$ npm run serve   # start the development server