K 10
svn:author
V 4
yuri
K 8
svn:date
V 27
2020-07-21T22:40:25.742855Z
K 7
svn:log
V 224
math/lean: Update 3.4.2 -> 3.17.1

The original Microsoft's account 'leanprover' is now archived, and the community account 'leanprover-community' carries the project on.

Also:
* remove tests from build
* add 'test' target

END