Repository navigation

VeriS-CyLab.github.io

Public

About

Website for VeriS Group at CyLab, Carnegie Mellon University

veris-cylab.github.io/

Custom properties

0 stars

4 watching

Report repository

Name		Name	Last commit message	Last commit date
_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

Repository files navigation

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.

About

Website for VeriS Group at CyLab, Carnegie Mellon University

veris-cylab.github.io/

Custom properties

0 stars

4 watching

Report repository

Releases

Packages

Contributors

Languages