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
Better automation in the first subgoal of [xfor_inv].
· c47250a5
POTTIER Francois
authored
Apr 12, 2016
c47250a5