Skip to content
Projects
Groups
Snippets
Help
Loading...
Help
Support
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
S
stdpp
Project overview
Project overview
Details
Activity
Releases
Repository
Repository
Files
Commits
Branches
Tags
Contributors
Graph
Compare
Issues
31
Issues
31
List
Boards
Labels
Milestones
Merge Requests
2
Merge Requests
2
CI / CD
CI / CD
Pipelines
Jobs
Schedules
Analytics
Analytics
CI / CD
Repository
Value Stream
Wiki
Wiki
Members
Members
Collapse sidebar
Close sidebar
Activity
Graph
Create a new issue
Jobs
Commits
Issue Boards
Open sidebar
Iris
stdpp
Iris / stdpp
23 forks: 22 public, 0 internal, and 1 private
sort:
Last created
Last created
Oldest created
Last updated
Oldest updated
Olivier Laurent /
stdpp
Merge branch 'ascii-countable' into 'master'
0
0
0
0
Updated
May 07, 2020
Gregory Malecha /
stdpp
Merge branch 'msammler/fix_imap_seq0' into 'master'
0
0
0
0
Updated
May 27, 2020
Armaël Guéneau /
stdpp
Merge branch 'robbert/vec_countable' into 'master'
0
0
0
0
Updated
Feb 28, 2020
Jonas Kastberg /
stdpp
Merge branch 'set-seq-lemmas' into 'master'
0
0
0
0
Updated
Nov 14, 2019
Simon Friis Vindum /
stdpp
also remove 8.9.0 from testing
0
0
0
0
Updated
Nov 11, 2019
William Mansky /
stdpp
Mentioned Windows line ending fix in README
0
0
0
0
Updated
Oct 31, 2019
Pierre-Marie Pédrot /
stdpp
Merge branch 'robbert/map_filter' into 'master'
0
0
0
0
Updated
Sep 19, 2019
Paulo Emílio de Vilhena /
stdpp
Add new lemmas for list, set, and map operations.
0
0
0
0
Updated
Aug 14, 2019
Rodolphe Lepigre /
stdpp
Add `replicate_S_end`.
0
0
0
0
Updated
Aug 14, 2019
Simon Spies /
stdpp
Merge branch 'master' of
https://gitlab.mpi-sws.org/iris/stdpp
0
0
0
0
Updated
Aug 20, 2019
Paolo G. Giarrusso /
stdpp
Merge branch 'ralf/map-forall-lookup' into 'master'
0
0
0
0
Updated
May 08, 2020
Jakob Botsch Nielsen /
stdpp
Merge branch 'ralf/readme' into 'master'
0
0
0
0
Updated
Mar 16, 2019
Maxime Dénès /
stdpp
Merge branch 'robbert/bool_of_tc' into 'master'
0
0
0
0
Updated
Sep 05, 2019
Tej Chajed /
stdpp
Versions of `elem_of_list_split` that give first or last element.
0
0
0
0
Updated
May 27, 2020
Michael Sammler /
stdpp
Add lemma `binder_delete_empty`.
0
0
0
0
Updated
Jan 30, 2020
Marianna Rapoport /
coq-stdpp
mark Coq 8.9 as broken
0
0
0
0
Updated
Jan 02, 2019
Janno /
coq-stdpp
Add `Countable` instance for `mapset`.
0
0
0
0
Updated
Jan 02, 2019
David Swasey /
coq-stdpp
Merge branch 'cogset' into 'master'
0
0
0
0
Updated
Feb 23, 2020
Amin Timany /
coq-stdpp
use a section for local options
0
0
0
0
Updated
Nov 01, 2019
Hai Dang /
stdpp
Lemma for `x ∈ _ ⊎ _` on multisets.
0
0
0
0
Updated
Feb 21, 2019
Prev
1
2
Next
