{{availableLangs[learnLang].flag}}
Lean {{availableLangs[learnLang].value}}
v0.1
line-md:cog
{{l.value}}
{{l.value}}
{{item[learnLang]}}
{{item[knowLang]}}