Ukrainian translation of Analysis I

Stream: Analysis I

[Andrii Kurdiumov]

Not sure if this channel is proper way for announce, but I did translation of Analysis I supplementary material to Ukrainian and publish it on GitHub pages.

https://kant2002.github.io/analysis/

I also adapt website a bit to be better mobile friendly. My hope that this make Lean more accessible to Ukrainian speaking people who may not yet know English but still curious about Lean and Analysis.