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

../
test.lean                                          02-Feb-2020 00:00                8799
test.lean.output                                   02-Feb-2020 00:00               81862