📦 hediet / lean-experiments

lean-experiments / .gitignore
📄 .gitignore · 2 lines 
1
2.lake