Skip to content
GitLab
Explore
Sign in
Iris
c
Repository
c
theories
tests
gcd.v
Find file
Blame
History
Permalink
Properly handle functions.
· 81137d7c
Robbert Krebbers
authored
Nov 15, 2018
81137d7c