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

../
lean.log                                           02-Aug-2025 20:30              295856
py-cvxpy.log                                       02-Aug-2025 20:30               71939
rocq.log                                           02-Aug-2025 20:30               22078