Skip to content
GitLab
Explore
Sign in
Jonas Kastberg
actris
Repository
Branches
Overview
Active
Stale
All
robbert/cofe
e528fb2b
·
Fixpoint construction.
·
May 29, 2019
jonas/cofe
d943621d
·
Bumped recursive type definition (barring some admissions)
·
May 29, 2019
robbert/coinductive
40393f88
·
Bumped Iris
·
Jun 10, 2019
jonas/irewrite_bug
32f5885b
·
Full bump
·
Jun 11, 2019
binders
2ad18c15
·
Binders WIP
·
Jun 17, 2019
binders_upfront
19f0f031
·
More WIP
·
Jun 26, 2019
merge_frame_bug
fc8cacc1
·
INIT
·
Jun 30, 2019
list_sort_elem_client
71cfb4f6
·
Proved based on admitted specs
·
Jun 30, 2019
master
default
protected
9acbe81f
·
More README tweaks.
·
Oct 18, 2019
Prev
1
2
Next