Skip to content
GitLab
Explore
Sign in
Overview
Active
Stale
All
Stale branches
new_master
0c58544d
·
rebase transfinite iris
·
Nov 24, 2020
master
default
protected
0ad25f97
·
update license
·
Apr 14, 2021
core
9c36e6af
·
finish making step-index a typeclass
·
Sep 11, 2022
step-index-class
9c36e6af
·
finish making step-index a typeclass
·
Sep 11, 2022
simon/parametric-index
c426f352
·
opam: add missing dependency on coq-iris.dev
·
May 08, 2023