Commit cbf7af11 authored by Lennard Gäher's avatar Lennard Gäher
Browse files

add link to paper PDF to readme

parent 1ef06fb4
Pipeline #60517 failed with stage
in 29 minutes and 47 seconds
# Simuliris Coq development
This repository contains the Coq development of Simuliris.
This repository contains the Coq development of Simuliris (paper presented at POPL22: https://iris-project.org/pdfs/2022-popl-simuliris.pdf).
## Setup
This project is known to build with [Coq](https://coq.inria.fr/) 8.13.2 and 8.14.1.
......
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