Skip to content
GitLab
Explore
Sign in
Pierre Letouzey
prog-lmfi
Repository
prog-lmfi
solutions
td5b.v
Find file
Blame
History
Permalink
a variant of TD5 exo1 with even more dependent types
· cfb708ae
Pierre Letouzey
authored
Dec 02, 2020
cfb708ae