Activity · Kimaya Bedarkar / stdpp · GitLab

Snippets Groups Projects

2 months ago

Kimaya Bedarkar @kbedarka

deleted branch kimaya/add-seq-lemmas at Kimaya Bedarkar / stdpp

2 months ago

Kimaya Bedarkar @kbedarka

pushed to branch kimaya/add-seq-lemmas at Kimaya Bedarkar / stdpp

a9167769 · Apply 1 suggestion(s) to 1 file(s)

2 months ago

Kimaya Bedarkar @kbedarka

pushed to branch kimaya/add-seq-lemmas at Kimaya Bedarkar / stdpp

ffcb6d4d · Apply 1 suggestion(s) to 1 file(s)

2 months ago

Kimaya Bedarkar @kbedarka

pushed to branch kimaya/add-app-lemma at Kimaya Bedarkar / stdpp

ea16e18f · change naming

2 months ago

Kimaya Bedarkar @kbedarka

pushed new branch kimaya/sublist-nodup at Kimaya Bedarkar / stdpp

2 months ago

Kimaya Bedarkar @kbedarka

pushed new branch kimaya/add-app-lemma at Kimaya Bedarkar / stdpp

2 months ago

Kimaya Bedarkar @kbedarka

pushed new branch kimaya/add-seq-lemmas at Kimaya Bedarkar / stdpp

2 months ago

Kimaya Bedarkar @kbedarka

pushed to branch master at Kimaya Bedarkar / stdpp

0dbb3948 · More CoqDoc.
... and 6 more commits. Compare cc5fd623...0dbb3948

2 months ago

Kimaya Bedarkar @kbedarka

deleted branch kimaya/add-zip-lemmas at Kimaya Bedarkar / stdpp

2 months ago

Kimaya Bedarkar @kbedarka

pushed to branch kimaya/add-zip-lemmas at Kimaya Bedarkar / stdpp

54d49550 · Apply 1 suggestion(s) to 1 file(s)

2 months ago

Kimaya Bedarkar @kbedarka

pushed to branch kimaya/add-zip-lemmas at Kimaya Bedarkar / stdpp

1549a27b · fix

2 months ago

Kimaya Bedarkar @kbedarka

pushed to branch kimaya/add-zip-lemmas at Kimaya Bedarkar / stdpp

851230d9 · add some zip lemmas
... and 1 more commit. Compare f092fac8...851230d9

2 months ago

Kimaya Bedarkar @kbedarka

pushed to branch kimaya/add-zip-lemmas at Kimaya Bedarkar / stdpp

f092fac8 · edit changelog entry

2 months ago

Kimaya Bedarkar @kbedarka

pushed to branch kimaya/add-zip-lemmas at Kimaya Bedarkar / stdpp

4979bfb2 · add changelog entry

2 months ago

Kimaya Bedarkar @kbedarka

pushed to branch kimaya/add-zip-lemmas at Kimaya Bedarkar / stdpp

9ec365a1 · add some zip lemmas
... and 17 more commits. Compare 52431749...9ec365a1

2 months ago

Kimaya Bedarkar @kbedarka

pushed to branch master at Kimaya Bedarkar / stdpp

cc5fd623 · Merge branch 'ralf/notc-apply-no-hnf' into 'master'
... and 16 more commits. Compare df46059d...cc5fd623

2 months ago

Kimaya Bedarkar @kbedarka

pushed to branch kimaya/add-zip-lemmas at Kimaya Bedarkar / stdpp

52431749 · add new line back

2 months ago

Kimaya Bedarkar @kbedarka

pushed to branch kimaya/add-zip-lemmas at Kimaya Bedarkar / stdpp

a34ad2b1 · Apply 1 suggestion(s) to 1 file(s)

3 months ago

Kimaya Bedarkar @kbedarka

pushed to branch kimaya/add-zip-lemmas at Kimaya Bedarkar / stdpp

cb772bab · add zip with lemma

3 months ago

Kimaya Bedarkar @kbedarka

pushed to branch kimaya/add-zip-lemmas at Kimaya Bedarkar / stdpp

25e7b53d · ind -> i