Skip to content
GitLab
Explore
Sign in
Johannes Hostert
transfinite
Repository
Branches
Overview
Active
Stale
All
Stale branches
new_master
0c58544d
·
rebase transfinite iris
·
Nov 24, 2020
master
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
default
4753f666
·
Depend on iris
·
Oct 30, 2023