Skip to content
GitLab
Explore
Sign in
refinedc
theories
lang
lang.v
Find file
Blame
Permalink
Jan 27, 2021
2933e60f
Added ternary operator
· 2933e60f
Michael Sammler
authored
Jan 27, 2021
2933e60f
Added ternary operator
Michael Sammler
authored
Jan 27, 2021
Loading
