opam.pins 89 Bytes
Newer Older
Robbert Krebbers's avatar
Robbert Krebbers committed
1
coq-iris https://gitlab.mpi-sws.org/FP/iris-coq 0cc2c6e098bfb05c056783b9212c9218fa46aa5e