Contributor

Kamil Trzciński

Overview

Global Rank

#2,254 20,578,289 points

Project Contributions

Project Rank Score
Gitlab #35 20,559,492
Linux #14,418 15,416
Coq #262 3,381

Profile Actions

Is this your profile?

Sign up to claim this profile

Add to your GitHub README.md

[![OSSRank](https://ossrank.com/widget/121344)](https://ossrank.com/c/121344-kamil-trzcinski-gitlab)