Skip to content
GitLab
Explore
Sign in
Rodolphe Lepigre
Iris
Repository
iris
modures
logic.v
Find file
Blame
History
Permalink
since we use unicode, let's write Löb's name correctly
· 6326a24c
Ralf Jung
authored
Jan 30, 2016
6326a24c