Mentions légales du service
Skip to content
GitLab
Explore
Sign in
CHARGUERAUD Arthur
cfml
Repository
cfml
lib
coq
CFTactics.v
Find file
Blame
History
Permalink
Fix xspec for record operations in presence of several records
· 5f5094da
Armaël Guéneau
authored
Jun 11, 2018
5f5094da