ZOYKU · Open Source Intelligence · Repository archive

isabelle-prover/mirror-isabelle

isabelle-prover/mirror-isabelle open-source repository on GitHub

NOASSERTIONRegularly maintained · Pushed 12d ago

DocumentationOpen on GitHub

stars

100

forks

issues

Daily star gain

—

days old

6-Axis Combat Radar

Combat Limits & Architectural Persona

Compare with other repos ->

Architectural Persona

High-Adoption Ecosystem Core

Substantial fork ratio reflecting heavy downstream adaptation

Combat Score

/ 100

7-Day Star Velocity

Fork/Star Adoption

27.0%

Cumulative stars

Next Milestone: 500 (400 stars to go)

2026-10-29: 100

Maintainer Badge Studio

Embed GitHub README Live Badge

Embed dynamic SVG badges into your README to reflect real-time rankings and documentation mirrors.

Preview240 x 64 px SVG

GitHub Dark Theme

GitHub Light Theme

GitHub README <picture> (Auto Dark/Light)

<a href="https://git.zoyku.com/en/repo/isabelle-prover/mirror-isabelle" target="_blank" rel="noopener noreferrer">
  <picture>
    <source media="(prefers-color-scheme: dark)" srcset="https://git.zoyku.com/api/badge/card/isabelle-prover/mirror-isabelle?theme=dark&lang=en" />
    <img alt="GitHub Hot Rank - isabelle-prover/mirror-isabelle" src="https://git.zoyku.com/api/badge/card/isabelle-prover/mirror-isabelle?theme=light&lang=en" height="64" />
  </picture>
</a>