Skip to content
GitLab
Explore
Sign in
Iris
Fairis
Repository
fairis
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