isabelle-prover

global

Languages

9 total

Language	Repos	Stars	Global
all	28	112	252,016
Isabelle	14	74	11
Scala	4	18	4,077
Python	2	11	236,608
HTML	3	4	167,957
CSS	1	3	101,139
Standard ML	1	1	991
C++	1	1	493,286
Shell	1	0	-
C	1	0	-

Repos

28 total

Repo	Language	Stars	Rank
mirror-isabelle	Isabelle	54	14
isabelle-linter	Scala	16	6,472
cookbook	Isabelle	14	31
proving-contest-backends	Python	11	320,462
mirror-afp-devel	Isabelle	4	83
admin	CSS	3	91,656
isabelle-prover.github.io	HTML	2	338,021
inductive_sledgehammer	C++	1	771,095
mirror-afp-2016	Isabelle	1	308
mirror-afp-2018	Isabelle	1	289

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

<a href="https://stardev.io/developers/isabelle-prover"><img alt="Check out isabelle-prover's profile on stardev.io" src="https://stardev.io/developers/isabelle-prover/badge/languages/global.svg" /></a>

Preview

Last updated: 2024-05-06T19:20:56.091835258Z Re-sync