Home›Browse›loop invariant🌐EnglishEnglishDeutschEspañolFrançaisPolskiРусский한국어中文日本語EntityQ2238838· pop 12· linked from 47 articlesloop invariantSign in to saveinvariants used to prove properties of loopsAvailable in 13 languagesEspañolFrançaisDeutsch中文日本語РусскийBasqueNorwegianPolskiUkrainianzh_yue한국어via Wikidata sitelinks · CC0