Skip to content
GitLab
Explore
Sign in
Pierre Letouzey
prog-lmfi
Repository
prog-lmfi
seance4-english.v
Find file
Blame
History
Permalink
seance4.v translated in seance4-english.v (and with slightly extended comments)
· 8a7746f6
Pierre Letouzey
authored
Nov 23, 2020
8a7746f6