Index of /log/lean4/

../
2023-10-31.log                                     31-Oct-2023 18:48                1369
2023-12-01.log                                     01-Dec-2023 21:32                 307
2023-12-22.log                                     22-Dec-2023 06:16                4563
2024-02-01.log                                     01-Feb-2024 06:49                 282
2024-02-04.log                                     04-Feb-2024 04:35                1734
2024-02-29.log                                     29-Feb-2024 02:50                 283
2024-03-04.log                                     04-Mar-2024 03:56                1734
2024-04-03.log                                     03-Apr-2024 12:21                 282