Skip to content
GitLab
Explore
Sign in
Iris
Iris
Repository
iris
iris
proofmode
string_ident.v
Find file
Blame
History
Permalink
Add some types to Ltac2 for string_ident.
· 7c59ec55
Robbert Krebbers
authored
Oct 04, 2023
7c59ec55