Activity · Tej Chajed / iris · GitLab

Snippets Groups Projects

8 months ago

Tej Chajed @tchajed

pushed to branch polymorphic-bi at Tej Chajed / iris

f3bd8b69 · Add CHANGELOG entry
... and 1 more commit. Compare 72137334...f3bd8b69

8 months ago

Tej Chajed @tchajed

pushed to branch polymorphic-bi at Tej Chajed / iris

72137334 · Rely on universe polymorphism

8 months ago

Tej Chajed @tchajed

pushed to branch master at Tej Chajed / iris

426f2d2e · Merge branch 'gset_to_gmap_theory' into 'master'
... and 32 more commits. Compare f2800611...426f2d2e

8 months ago

Tej Chajed @tchajed

pushed to branch polymorphic-bi at Tej Chajed / iris

15013c02 · Make bi polymorphic in logic and quant universes
... and 6 more commits. Compare df5ae1f9...15013c02

8 months ago

Tej Chajed @tchajed

pushed new branch polymorphic-bi at Tej Chajed / iris

11 months ago

Tej Chajed @tchajed

pushed new branch fix-doc-links at Tej Chajed / iris

11 months ago

Tej Chajed @tchajed

pushed to branch master at Tej Chajed / iris

f2800611 · bump std++
... and 650 more commits. Compare 48ffeca9...f2800611

1 year ago

Tej Chajed @tchajed

pushed to branch parametric-algebra at Tej Chajed / iris

20b6ea7f · add a type class for stepindices

1 year ago

Tej Chajed @tchajed

pushed to branch parametric-algebra at Tej Chajed / iris

bd1fb046 · add a type class for stepindices

1 year ago

Tej Chajed @tchajed

pushed to branch master at Tej Chajed / iris

48ffeca9 · Merge branch 'ralf/coq-8.13' into 'master'
... and 2856 more commits. Compare f5e00ce3...48ffeca9

1 year ago

Tej Chajed @tchajed

pushed new branch parametric-algebra at Tej Chajed / iris

2 years ago

Tej Chajed @tchajed

deleted branch fix-typo-in-appendix at Tej Chajed / iris

2 years ago

Tej Chajed @tchajed

pushed new branch fix-typo-in-appendix at Tej Chajed / iris

2 years ago

Tej Chajed @tchajed

pushed new branch fix-proof-coq-master at Tej Chajed / iris

2 years ago

Tej Chajed @tchajed

pushed new branch dfrac-valid-arg at Tej Chajed / iris