diff --git a/README.md b/README.md index 4a2571fbb..1a69cef9c 100644 --- a/README.md +++ b/README.md @@ -1,19 +1,22 @@

logo

- + + -
LicenseUbuntuOS XWindowsCoverageBuilds/TestsStatic AnalysisLicenseWindowsUbuntuOS XCoverageBuilds/TestsStatic Analysis
Coverity Scan Build Status
+[![Issue Stats](http://issuestats.com/github/leanprover/lean/badge/pr)](http://issuestats.com/github/leanprover/lean) +[![Issue Stats](http://issuestats.com/github/leanprover/lean/badge/issue)](http://issuestats.com/github/leanprover/lean) + About -----