Activity · Isaac van Bakel / stdpp · GitLab

Snippets Groups Projects

1 year ago

Isaac van Bakel @ivanbakel

deleted branch fold_comm_acc_lemmas at Isaac van Bakel / stdpp

1 year ago

Robbert Krebbers @robbertkrebbers

pushed to branch fold_comm_acc_lemmas at Isaac van Bakel / stdpp

0d1eb9c1 · Ralf's suggestions.
... and 21 more commits. Compare 1a8c2ecc...0d1eb9c1

1 year ago

Robbert Krebbers @robbertkrebbers

pushed to branch fold_comm_acc_lemmas at Isaac van Bakel / stdpp

1a8c2ecc · Tweak proofs.

1 year ago

Isaac van Bakel @ivanbakel

pushed to branch fold_comm_acc_lemmas at Isaac van Bakel / stdpp

1f22a2b1 · Add fold-commuting lemmas to CHANGELOG.md
... and 1 more commit. Compare bcd84433...1f22a2b1

1 year ago

Isaac van Bakel @ivanbakel

pushed to branch fold_comm_acc_lemmas at Isaac van Bakel / stdpp

bcd84433 · Weaken premises and tweak proofs.
... and 3 more commits. Compare 890eab4f...bcd84433

1 year ago

Robbert Krebbers @robbertkrebbers

pushed to branch fold_comm_acc_lemmas at Isaac van Bakel / stdpp

890eab4f · Weaken premises and tweak proofs.
... and 30 more commits. Compare 02e829ad...890eab4f

2 years ago

Isaac van Bakel @ivanbakel

pushed to branch fold_comm_acc_lemmas at Isaac van Bakel / stdpp

02e829ad · Rename comm_acc -> comm_accum
... and 1 more commit. Compare 5f0dbcaa...02e829ad

2 years ago

Isaac van Bakel @ivanbakel

pushed to branch fold_comm_acc_lemmas at Isaac van Bakel / stdpp

5f0dbcaa · Rename comm_acc -> comm_accum
... and 1 more commit. Compare e005eabb...5f0dbcaa

2 years ago

Isaac van Bakel @ivanbakel

pushed to branch fold_comm_acc_lemmas at Isaac van Bakel / stdpp

e005eabb · Rename comm_acc -> comm_accum

2 years ago

Isaac van Bakel @ivanbakel

pushed to branch fold_comm_acc_lemmas at Isaac van Bakel / stdpp

abf8ba35 · Rename comm_acc -> comm_accum
... and 4 more commits. Compare db3d621b...abf8ba35

2 years ago

Isaac van Bakel @ivanbakel

pushed to branch fold_comm_acc_lemmas at Isaac van Bakel / stdpp

db3d621b · Extend fold-commuting lemmas to lists, sets

2 years ago

Isaac van Bakel @ivanbakel

pushed new branch fold_comm_acc_lemmas at Isaac van Bakel / stdpp

2 years ago

Isaac van Bakel @ivanbakel

created project Isaac van Bakel / stdpp