openai/math
PublicStars17.5k24h gain+20Score11.9
Lean
Trending Lean repositories, ranked by momentum.
36 results
RankRepositoryStars24h gainScore
The math library of Lean 4
Stars4.5k24h gain+11Score6.0
josevalim/lynx
PublicProofs for Erlang/Elixir programs through LEAN (via automatic translation of Core Erlang)
Stars20024h gain+7Score4.2
A project to digitalise results from physics into Lean.
Stars83524h gain+4Score2.3
Verified-zkEVM/VCVio
PublicA Lean library for machine-checked cryptographic proofs.
Stars17524h gain+1Score0.6
Follow this list in a feed reader(Atom, top 25)