formalities/README.md

# Formalities

[![License](https://img.shields.io/github/license/vacp2p/formalities.svg)](LICENSE)
[![Build Status](https://travis-ci.com/vacp2p/formalities.svg?branch=master)](https://travis-ci.com/vacp2p/formalities)

This repository contains formal models for [vac](https://specs.vac.dev) protocols. These formal models serve to illustrate some of the high-level concepts.

The current specs implemented:
 - [MVDS](./MVDS)
mvds 2019-11-06 02:48:29 +00:00			`# Formalities`

travis (#3) * travis stuff * Update Makefile * Update README.md * Update SpecOK.cfg * Update .travis.yml * Update SpecOK.cfg * test * fix * fix * fix * one more attempt * maybe * fix * updated 2019-11-06 13:48:38 +00:00			`[![License](https://img.shields.io/github/license/vacp2p/formalities.svg)](LICENSE)`
			`[![Build Status](https://travis-ci.com/vacp2p/formalities.svg?branch=master)](https://travis-ci.com/vacp2p/formalities)`

Update README.md 2019-11-16 17:23:47 +00:00			`This repository contains formal models for [vac](https://specs.vac.dev) protocols. These formal models serve to illustrate some of the high-level concepts.`
mvds 2019-11-06 02:48:29 +00:00
			`The current specs implemented:`
			`- [MVDS](./MVDS)`