gravatar for theoremprover-museum

theoremprover-museum theoremprover-museum on Github

global

Languages

14 total

LanguageReposStarsGlobal
all41215169,067
unknown65541,535
HTML35115,962
Common Lisp636580
C82832,361
Standard ML313162
Prolog510323
Isabelle1854
Perl 617130
AMPL12519
OCaml223,887
Lex12229
TeX1149,416
C++20-
Alloy10-

Repos

41 total

RepoLanguageStarsRank
theoremprover-museum/logic-theorist on Githublogic-theoristunknown5545,214
theoremprover-museum/theoremprover-museum.github.io on Githubtheoremprover-museum.github.ioHTML5116,433
theoremprover-museum/LCF77 on GithubLCF77Common Lisp231,066
theoremprover-museum/prover9 on Githubprover9C1659,536
theoremprover-museum/HOL88 on GithubHOL88Standard ML9244
theoremprover-museum/OMEGA on GithubOMEGAIsabelle854
theoremprover-museum/imps on GithubimpsPerl 67122
theoremprover-museum/clam3 on Githubclam3Prolog6595
theoremprover-museum/EQP on GithubEQPC5134,505
theoremprover-museum/InKa on GithubInKaCommon Lisp44,152

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-12T23:01:42.156852325Z Re-sync