add lemmas about seq (!588) · Merge requests · Iris / stdpp · GitLab

Snippets Groups Projects

Merged Kimaya Bedarkar requested to merge kbedarka/stdpp:kimaya/add-seq-lemmas into master 1 month ago

Feb 20, 2025
- Apply 1 suggestion(s) to 1 file(s) · a9167769
  Kimaya Bedarkar authored 1 month ago
  
  Co-authored-by: Robbert Krebbers <gitlab-sws@robbertkrebbers.nl>
  a9167769
- Apply 1 suggestion(s) to 1 file(s) · ffcb6d4d
  Kimaya Bedarkar authored 1 month ago
  
  Co-authored-by: Robbert Krebbers <gitlab-sws@robbertkrebbers.nl>
  ffcb6d4d
Feb 19, 2025
- add lemmas about seq · 0fb1c214
  Kimaya Bedarkar authored 1 month ago
  
  0fb1c214