gravatar for blanchette

blanchette blanchette on Github

global / germany / munich

Languages

2 total

LanguageReposStarsGlobalCountryLocality
all8214157,4336,383543
Lean62141122
unknown20---

Repos

8 total

RepoLanguageStarsRank
blanchette/logical_verification_2020 on Githublogical_verification_2020Lean9729
blanchette/logical_verification_2023 on Githublogical_verification_2023Lean5655
blanchette/logical_verification_2021 on Githublogical_verification_2021Lean25109
blanchette/logical_verification_2022 on Githublogical_verification_2022Lean17149
blanchette/logical_verification_2019 on Githublogical_verification_2019Lean12196
blanchette/interactive_theorem_proving_2024 on Githubinteractive_theorem_proving_2024Lean7288
blanchette/CodataDP on GithubCodataDPunknown0-
blanchette/blanchette.github.io on Githubblanchette.github.iounknown0-

Badges

Get your badge to use on GitHub or websites using the code below

GlobalCountryLocality

Global

Displays global rankings for all languages plus top two languages by stars

Preview

Country

Displays country rankings for all languages plus top two languages by stars

Preview

Locality

Displays locality rankings for all languages plus top two languages by stars

Preview

Last updated: 2024-04-07T06:20:35.952421001Z Re-sync