Set up your GitHub Actions workflow with elan and/or a specific version of Lean
Primary LanguagePythonMIT LicenseMIT