Yuri Victorovich 7943f0f0a2 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

2020-07-21 22:40:25 +00:00

..

patch-CMakeLists.txt

…

patch-util_path.cpp

…