summaryrefslogtreecommitdiff
path: root/math/lean4/files/patch-src_runtime_process.cpp
AgeCommit message (Expand)Author
2025-05-09math/lean4: update 4.12.0 → 4.20.0.r5Yuri Victorovich
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-22 12:04:11 +0000