Yuri Victorovich 1e962151a7 math/lean4: update 4.12.0 → 4.20.0.r5

2025-05-09 13:47:13 -07:00

..

patch-src_bin_leanc.in

…

patch-src_CMakeLists.txt

…

patch-src_runtime_io.cpp

…

patch-src_runtime_process.cpp

…

patch-src_runtime_stack__overflow.cpp

…

patch-stage0_src_bin_leanc.in

…

patch-stage0_src_CMakeLists.txt

…

patch-stage0_src_runtime_io.cpp

…

patch-stage0_src_runtime_process.cpp

…

patch-stage0_src_runtime_stack__overflow.cpp

…