/tests/examplefiles/lean/

• ../
• test.lean
• test.lean.output