<commit_before>![Logo](images/lean.png)
<table>
  <tr>
    <th>Ubuntu</th><th>OS X</th><th>Windows</th><th>Coverage</th><th>Builds / UnitTests / Dynamic Analyses</th>
  </tr>
  <tr>
    <td><a href="https://travis-ci.org/leanprover/lean"><img src="https://travis-ci.org/leanprover/lean.png?branch=master" title="Ubuntu 12.04 LTS 64bit, g++-4.8 | clang++-3.3"/></a></td>
    <td><a href="https://travis-ci.org/soonhokong/lean-osx"><img src="https://travis-ci.org/soonhokong/lean-osx.png?branch=master" title="Mac OS X 10.8.2, g++-4.9"/></a></td>
    <td><a href="https://travis-ci.org/soonhokong/lean-windows"><img src="https://travis-ci.org/soonhokong/lean-windows.png?branch=master" title="Windows, x86_64-w64-mingw32-g++-4.8.2"/></a></td>
    <td><a href="https://coveralls.io/r/leanprover/lean?branch=master"><img src="https://coveralls.io/repos/leanprover/lean/badge.png?branch=master"/></a></td>
    <td><a href="http://build.leanprover.net">http://build.leanprover.net</a></td>
  </tr>
</table>

**Remark: Lean 0.2 is under development. To try Lean, please use [version 0.1](https://github.com/leanprover/lean0.1).**

About
-----

- [Design](doc/design.md)
- [To Do list](doc/todo.md)
- [Authors](doc/authors.md)
- [Tutorial](doc/lean/tutorial.md)

Requirements
------------
<commit_msg>doc(README.md): add coverity scan badge<commit_after>![Logo](images/lean.png)
<table>
  <tr>
    <th>Ubuntu</th><th>OS X</th><th>Windows</th><th>Coverage</th><th>Builds/Tests</th><th>Static Analysis</th>
  </tr>
  <tr>
    <td><a href="https://travis-ci.org/leanprover/lean"><img src="https://travis-ci.org/leanprover/lean.png?branch=master" title="Ubuntu 12.04 LTS 64bit, g++-4.8 | clang++-3.3"/></a></td>
    <td><a href="https://travis-ci.org/soonhokong/lean-osx"><img src="https://travis-ci.org/soonhokong/lean-osx.png?branch=master" title="Mac OS X 10.8.2, g++-4.9"/></a></td>
    <td><a href="https://travis-ci.org/soonhokong/lean-windows"><img src="https://travis-ci.org/soonhokong/lean-windows.png?branch=master" title="Windows, x86_64-w64-mingw32-g++-4.8.2"/></a></td>
    <td><a href="https://coveralls.io/r/leanprover/lean?branch=master"><img src="https://coveralls.io/repos/leanprover/lean/badge.png?branch=master"/></a></td>
    <td><a href="http://build.leanprover.net">build.leanprover.net</a></td>
    <td><a href="https://scan.coverity.com/projects/2153"><img alt="Coverity Scan Build Status" src="https://scan.coverity.com/projects/2153/badge.svg"/></a></td>
  </tr>
</table>

**Remark: Lean 0.2 is under development. To try Lean, please use [version 0.1](https://github.com/leanprover/lean0.1).**

About
-----

- [Design](doc/design.md)
- [To Do list](doc/todo.md)
- [Authors](doc/authors.md)
- [Tutorial](doc/lean/tutorial.md)

Requirements
------------

{'fraction_non_alphanumeric': 0.2533429707264185, 'fraction_numerical': 0.02674376581134803, 'mean_word_length': 4.222641509433962, 'pattern_counts': {'":': 0, '<': 90, '<?xml version=': 0, '>': 90, 'https://': 20, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '7401524', 'n_tokens_mistral': 1190, 'n_tokens_neox': 1169, 'n_words': 129}