Skip to content

GitLab

Explore

Sign in

Joseph Tassarotti
ipm-fscq-demo

I

ipm-fscq-demo

Project information

This is a demo showing how the the Iris Proof Mode can be used with FSCQ.

12 Commits
3 Branches
0 Tags

README
MIT License

Created on

March 09, 2018

Copy SSH clone URLgit-rts@gitlab.mpi-sws.org:jtassaro/ipm-fscq-demo.git
Copy HTTPS clone URLhttps://gitlab.mpi-sws.org/jtassaro/ipm-fscq-demo.git