/tests/lean/misc/paper/

• ../
• Base
• Paper.lean
• lakefile.lean