Skip to content
GitLab
Explore
Sign in
Pierre Letouzey
coq-lmfi
Repository
coq-lmfi
seance6-english.v
Find file
Blame
History
Permalink
seance6-english.v : typos
· 2e5b1e0c
Pierre Letouzey
authored
Dec 09, 2020
2e5b1e0c