GitHub repository: Eloitor/Lean-template
Created: 2020-12-15T08:15:10Z
Description: Template for lean projects with CI