Commit f84033e7 authored by Jonas Kastberg's avatar Jonas Kastberg

Updated header description in README.md

parent 74a555ab
Pipeline #27836 passed with stage
in 18 minutes and 2 seconds
# ACTRIS COQ DEVELOPMENT
This directory contains the artifact for the paper "Actris: Session Type
Based Reasoning in Separation Logic".
This directory contains the Coq mechanisation of the Actris framework,
first presented in the paper
"Actris: Session Type Based Reasoning in Separation Logic".
It has been built and tested with the following dependencies
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment