gravatar for gauravpartha

gauravpartha gauravpartha on Github

global

Languages

2 total

LanguageReposStarsGlobal
all351,479,454
Isabelle2375
Boogie126

Repos

3 total

RepoLanguageStarsRank
gauravpartha/foundational_boogie on Githubfoundational_boogieIsabelle377
gauravpartha/boogie_proofgen on Githubboogie_proofgenBoogie27
gauravpartha/inlining_artifact on Githubinlining_artifactIsabelle0-

Badges

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

Global

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

Preview

Last updated: 2022-12-07T05:41:12.713762315Z Re-sync