Contributor

Alec Faithfull

Overview

Global Rank

#75,704 378,150 points

Project Contributions

Project Rank Score
ANN-Benchmarks #3 357,438
Coq #159 20,640

Profile Actions

Is this your profile?

Sign up to claim this profile

Add to your GitHub README.md

[![OSSRank](https://ossrank.com/widget/681512)](https://ossrank.com/c/681512-alec-faithfull)