GitHub repository: leanprover/Lean.tmbundle
Created: 2015-02-13T02:19:53Z
Description: A TextMate bundle for the Lean language