PanLinx
íslenska
isl-000
lykkjuóbreyta
English
eng-000
loop invariant
PanLex