Learn N Try

For all Lean Enthusiast

Scripts

This section will be used for sharing the small scripts for making your work faster in Linux.