Index of /miniconda3/pkgs/pygments-2.19.2-py313h06a4308_0/info/test/tests/examplefiles/lean4/

../
Test.lean                                          02-Feb-2020 00:00               11177
Test.lean.output                                   02-Feb-2020 00:00              101050