/tests/lean/Demo/

• ../
• Demo.lean
• Properties.lean