Commit ec30ad9f authored by Hai Dang's avatar Hai Dang

Update README that the repo is not maintained

parent 3df5f65a
# Warning: this repository is no longer maintained
Please check out [GPFSL](https://gitlab.mpi-sws.org/iris/gpfsl), a betterment of iGPS.
# iGPS & iRSL - encoding of GPS and RSL in Iris # iGPS & iRSL - encoding of GPS and RSL in Iris
This repository contains the Coq development of **iGPS** and **iRSL**, This repository contains the Coq development of **iGPS** and **iRSL**,
......
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