gravatar for isabelle-prover

isabelle-prover isabelle-prover on Github

global

Languages

8 total

LanguageReposStarsGlobal
all29149219,368
Isabelle15989
Scala4223,649
Python317191,247
HTML36115,815
Standard ML12585
C++12303,114
Shell11275,774
C11358,180

Repos

29 total

RepoLanguageStarsRank
isabelle-prover/mirror-isabelle on Githubmirror-isabelleIsabelle6413
isabelle-prover/isabelle-linter on Githubisabelle-linterScala176,295
isabelle-prover/cookbook on GithubcookbookIsabelle1531
isabelle-prover/proving-contest-backends on Githubproving-contest-backendsPython12329,709
isabelle-prover/mirror-afp-devel on Githubmirror-afp-develIsabelle575
isabelle-prover/admin on GithubadminPython4746,374
isabelle-prover/isabelle-prover.github.io on Githubisabelle-prover.github.ioHTML3206,530
isabelle-prover/inductive_sledgehammer on Githubinductive_sledgehammerC++2411,462
isabelle-prover/mirror-afp-2016 on Githubmirror-afp-2016Isabelle2186
isabelle-prover/mirror-afp-2018 on Githubmirror-afp-2018Isabelle2173

Badges

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

Global

Global

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

Preview

Last updated: 2024-11-04T22:50:49.626795304Z Re-sync