Skip to content
GitLab
Explore
Sign in
Iris
stdpp
Issues
#193
Rename Ltac iter into coq_list_iter
See
iris!931 (comment 94375)
Bikeshed about gallina_list_iter, coq_list_iter, constr_list_iter, ...?
Edited
Aug 03, 2023
by
Robbert Krebbers