Activity · Tej Chajed / iris · GitLab

Snippets Groups Projects

1 week ago

Tej Chajed @tchajed

pushed to branch tchajed/expose-intro-destruct-internals at Tej Chajed / iris

4f6eb715 · Apply Robbert's suggestion

1 week ago

Tej Chajed @tchajed

pushed to branch tchajed/expose-intro-destruct-internals at Tej Chajed / iris

dea0cf61 · Fixes from Robbert's suggestions

1 week ago

Tej Chajed @tchajed

pushed to branch tchajed/expose-intro-destruct-internals at Tej Chajed / iris

9608014e · Renamings suggested by Robbert

1 week ago

Tej Chajed @tchajed

pushed to branch tchajed/expose-intro-destruct-internals at Tej Chajed / iris

38d72d56 · Use more Ltac rather than Tactic Notation

1 week ago

Tej Chajed @tchajed

pushed to branch tchajed/expose-intro-destruct-internals at Tej Chajed / iris

476462fa · Use more Ltac rather than Tactic Notation

1 week ago

Tej Chajed @tchajed

pushed to branch tchajed/expose-intro-destruct-internals at Tej Chajed / iris

288d08ab · Expose parts of iIntro and iDestruct

1 week ago

Tej Chajed @tchajed

pushed to branch tchajed/expose-intro-destruct-internals at Tej Chajed / iris

9561b010 · Expose parts of iIntro and iDestruct

1 week ago

Tej Chajed @tchajed

pushed to branch tchajed/expose-intro-destruct-internals at Tej Chajed / iris

7f6f52d0 · Expose parts of iIntro and iDestruct

1 week ago

Tej Chajed @tchajed

pushed to branch tchajed/expose-intro-destruct-internals at Tej Chajed / iris

30cefbca · Expose parts of iIntro and iDestruct

1 week ago

Tej Chajed @tchajed

pushed new branch tchajed/expose-intro-destruct-internals at Tej Chajed / iris

10 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

10 months ago

Tej Chajed @tchajed

pushed to branch polymorphic-bi at Tej Chajed / iris

72137334 · Rely on universe polymorphism

10 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

10 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

10 months ago

Tej Chajed @tchajed

pushed new branch polymorphic-bi at Tej Chajed / iris

1 year ago

Tej Chajed @tchajed

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

1 year ago

Tej Chajed @tchajed

pushed to branch master at Tej Chajed / iris

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

2 years ago

Tej Chajed @tchajed

pushed to branch parametric-algebra at Tej Chajed / iris

20b6ea7f · add a type class for stepindices

2 years ago

Tej Chajed @tchajed

pushed to branch parametric-algebra at Tej Chajed / iris

bd1fb046 · add a type class for stepindices

2 years 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