Index of /powerpc64/2025-07-22/math/

../
lean.log                                           26-Jul-2025 13:58              295886
py-cvxpy.log                                       26-Jul-2025 13:58               71937
rocq.log                                           26-Jul-2025 13:58               22090