zhehou/llm-isabelle

llm-powered theorem proving for isabelle/hol

16

Stars

9

Forks

0.0

Radar Score

Declining

Momentum

Scoring Breakdown

Impact0.0

Velocity0.0

Health0.0

Growth Metrics

7-Day Stars

+0

30-Day Stars

+0

Acceleration

x

Language

Python

Why it ranks

Momentum is cooling relative to the rest of the index.