gravatar for HOL-Theorem-Prover

HOL-Theorem-Prover HOL-Theorem-Prover on Github

global

Languages

3 total

LanguageReposStarsGlobal
all460570,969
Standard ML25918
CSS11125,801
HTML13232,303

Repos

4 total

RepoLanguageStarsRank
HOL-Theorem-Prover/HOL on GithubHOLStandard ML5907
HOL-Theorem-Prover/hol-guidebook on Githubhol-guidebookCSS1124,633
HOL-Theorem-Prover/hol-webpages on Githubhol-webpagesHTML3214,962
HOL-Theorem-Prover/armv8.6-asl-snapshot on Githubarmv8.6-asl-snapshotStandard ML1854

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-04-18T07:09:02.369523072Z Re-sync