Skip to content
GitLab
Explore
Sign in
Primary navigation
Search or go to…
Project
S
stdpp
Manage
Activity
Members
Labels
Plan
Issues
Issue boards
Milestones
Wiki
Code
Merge requests
Repository
Branches
Commits
Tags
Repository graph
Compare revisions
Build
Pipelines
Jobs
Pipeline schedules
Artifacts
Deploy
Releases
Model registry
Monitor
Service Desk
Analyze
Value stream analytics
Contributor analytics
CI/CD analytics
Repository analytics
Model experiments
Help
Help
Support
GitLab documentation
Compare GitLab plans
Community forum
Contribute to GitLab
Provide feedback
Terms and privacy
Keyboard shortcuts
?
Snippets
Groups
Projects
Show more breadcrumbs
Iris
stdpp
Merge requests
Open
30
Merged
541
Closed
51
All
622
Actions
Subscribe to RSS feed
Toggle search history
Recent searches
You don't have any recent searches
Created date
Priority
Created date
Updated date
Closed date
Milestone due date
Popularity
Label priority
Title
Add lemma const_fmap_strong
!624
·
created
1 day ago
by
Kimaya Bedarkar
updated 1 day ago
sublist lemmas
!623
·
created
1 day ago
by
Kimaya Bedarkar
updated 1 day ago
Add some missing map and set lemmas
!622
·
created
5 days ago
by
Johannes Hostert
updated 5 days ago
add nil inversion lemma for take and drop
!621
·
created
6 days ago
by
Kimaya Bedarkar
updated 1 day ago
Forall exists Forall2 lemmas
!620
·
created
6 days ago
by
Rudy Peterson
updated 6 days ago
simplify and solve prefix
!619
·
created
6 days ago
by
Rudy Peterson
updated 6 days ago
list_to_set helper lemmas
!618
·
created
6 days ago
by
Rudy Peterson
updated 6 days ago
option_Forall2 lemmas
!616
·
created
2 weeks ago
by
Rudy Peterson
updated 2 weeks ago
option_Forall predicate
!615
·
created
2 weeks ago
by
Rudy Peterson
updated 1 day ago
Lemma map_to_list_update
!614
·
created
2 weeks ago
by
Rudy Peterson
updated 2 weeks ago
lemmas for map_Forall(2)
!613
·
created
2 weeks ago
by
Rudy Peterson
updated 2 weeks ago
lemmas for map_seq and map_seqZ
!612
·
created
2 weeks ago
by
Rudy Peterson
updated 2 weeks ago
fmap imap compose
!611
·
created
2 weeks ago
by
Rudy Peterson
updated 2 weeks ago
fin map alter lemmas
!610
·
created
2 weeks ago
by
Rudy Peterson
updated 5 days ago
kmap lemmas for map_to_list and list_to_map
!609
·
created
2 weeks ago
by
Rudy Peterson
updated 2 weeks ago
make eauto solve `is_Some None` as an assumption
!608
·
created
2 weeks ago
by
Sanjit Bhat
updated 2 weeks ago
Generate the [_CoqProject] file.
!604
·
created
1 month ago
by
Rodolphe Lepigre
updated 21 hours ago
Lookup lemmas for union list over finite maps
!603
·
created
1 month ago
by
Rudy Peterson
1
updated 1 month ago
Dune build compatible with Rocq 9.0.0.
!601
·
created
1 month ago
by
Rodolphe Lepigre
updated 1 month ago
Monad Laws
!600
·
created
1 month ago
by
Rudy Peterson
updated 1 month ago
Previous
Next