Website for VeriS

This is the website for the Verified Software (VeriS) group at CyLab, Carnegie Mellon University.

It is based on the Jekyll theme: beautiful-jekyl.

Name		Name	Last commit message	Last commit date
Latest commit History 374 Commits
_includes		_includes
_layouts		_layouts
_plugins		_plugins
_posts		_posts
css		css
img		img
js		js
publications		publications
.gitignore		.gitignore
404.html		404.html
CHANGELOG.md		CHANGELOG.md
Dockerfile		Dockerfile
Gemfile		Gemfile
Gemfile.lock		Gemfile.lock
LICENSE		LICENSE
README.md		README.md
_config.yml		_config.yml
contact.md		contact.md
favicon.ico		favicon.ico
feed.xml		feed.xml
index.html		index.html
people.md		people.md
projects.md		projects.md
software.md		software.md

Navigation Menu