<commit_before>---
layout: archive
title: "People"
date:
modified:
excerpt:
image:
  feature:
  teaser: lean_logo_small.svg
  thumb:
ads: false
---

The Lean theorem prover is being developed by:

- [<NAME>](http://leodemoura.github.io) (Microsoft Research)
- [<NAME>](https://gebner.org/) (Vienna University of Technology)
- [<NAME>](https://kha.github.io/) (Karlsruhe Institute of Technology)
- [<NAME>](http://jroesch.github.io/) (University of Washington)
- [<NAME>](http://stanford.edu/~dselsam/) (Stanford)

The Lean standard library is being developed by:

- [<NAME>](http://www.andrew.cmu.edu/user/avigad) (Carnegie Mellon University)
- [<NAME>](http://www.contrib.andrew.cmu.edu/~fpv/) (Carnegie Mellon University)
- [<NAME>](http://research.microsoft.com/en-us/um/people/leonardo) (Microsoft Research)
- [<NAME>](https://www.andrew.cmu.edu/user/rlewis1/) (Carnegie Mellon University)
- [<NAME>](https://gebner.org/) (Vienna University of Technology)

Past members:

- [<NAME>](http://www.cs.cmu.edu/~soonhok) (Carnegie Mellon University)
- [<NAME>](http://von-raumer.de/) (University of Nottingham)

Contributors:

- [<NAME>](http://specfun.inria.fr/mahboubi/) (INRIA)
- [<NAME>](http://www.andrew.cmu.edu/user/croux/) (Draper Laboratory)
- <NAME> (Indian Institute of Technology, Kanpur)
- [<NAME>](http://www.andrew.cmu.edu/user/ulrikb/) (Carnegie Mellon University)
- [Favonia (Kuen-Bang Hou)](http://www.cs.cmu.edu/~kuenbanh/) (Carnegie Mellon University)
- <NAME> (Independent Researcher)
- <NAME> (University of Pittsburgh)
- <NAME> (Carnegie Mellon University)<commit_msg>Add Sebastian as library builder<commit_after>---
layout: archive
title: "People"
date:
modified:
excerpt:
image:
  feature:
  teaser: lean_logo_small.svg
  thumb:
ads: false
---

The Lean theorem prover is being developed by:

- [<NAME>](http://leodemoura.github.io) (Microsoft Research)
- [<NAME>](https://gebner.org/) (Vienna University of Technology)
- [<NAME>](https://kha.github.io/) (Karlsruhe Institute of Technology)
- [<NAME>](http://jroesch.github.io/) (University of Washington)
- [<NAME>](http://stanford.edu/~dselsam/) (Stanford)

The Lean standard library is being developed by:

- [<NAME>](http://www.andrew.cmu.edu/user/avigad) (Carnegie Mellon University)
- [<NAME>](http://www.contrib.andrew.cmu.edu/~fpv/) (Carnegie Mellon University)
- [<NAME>](http://research.microsoft.com/en-us/um/people/leonardo) (Microsoft Research)
- [<NAME>](https://www.andrew.cmu.edu/user/rlewis1/) (Carnegie Mellon University)
- [<NAME>](https://gebner.org/) (Vienna University of Technology)
- [<NAME>](https://kha.github.io/) (Karlsruhe Institute of Technology)

Past members:

- [<NAME>](http://www.cs.cmu.edu/~soonhok) (Carnegie Mellon University)
- [<NAME>](http://von-raumer.de/) (University of Nottingham)

Contributors:

- [<NAME>](http://specfun.inria.fr/mahboubi/) (INRIA)
- [<NAME>](http://www.andrew.cmu.edu/user/croux/) (Draper Laboratory)
- <NAME> (Indian Institute of Technology, Kanpur)
- [<NAME>](http://www.andrew.cmu.edu/user/ulrikb/) (Carnegie Mellon University)
- [Favonia (Kuen-Bang Hou)](http://www.cs.cmu.edu/~kuenbanh/) (Carnegie Mellon University)
- <NAME> (Independent Researcher)
- <NAME> (University of Pittsburgh)
- <NAME> (Carnegie Mellon University)
{'fraction_non_alphanumeric': 0.1949204406364749, 'fraction_numerical': 0.0006119951040391676, 'mean_word_length': 4.785840707964602, 'pattern_counts': {'":': 0, '<': 42, '<?xml version=': 0, '>': 42, 'https://': 9, 'lorem ipsum': 0, 'www.': 14, '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': '2078021', 'n_tokens_mistral': 1275, 'n_tokens_neox': 1161, 'n_words': 234}