Footer

Your go-to destination for discovering trending open-source projects and uncovering the insights that matter

Legal

  • Terms and conditions
  • Privacy policy

More

  • Pricing
  • Advertise
  • onedump
  • gosnakego
  • Contact us

Social

  • X (Twitter)
  • GitHub
Trendshift owl
What they build speaks louder than words
© 2026 Trendshift, created by Julian Li with ❤️
SignalAdvertise
Trendshift
SignalAdvertise
Sign in
Trendshift owl

Discover trends that matter

SignalAdvertise
DailyWeeklyMonthlyYearly
Live mentionsTopics
RepositoriesDevelopers
InsightsStats

Bifrost
Bifrost

VladimirReshetnikov/ProveIt

Visit GitHub
Lean
29
2
4 contributors
MIT No Attribution
FeaturedAdvertise to 180K+ monthly visitors
Bifrost

Fastest Enterprise AI Gateway for Routing, Governing, and Securing all your AI Traffic

Momentum

How fast VladimirReshetnikov/ProveIt is gaining stars, and where it lands on Trendshift and GitHub Trending

Activity and trending

Stars, forks and merged pull requests each day or month, lined up with the repository's rank on Trendshift Trending

Nov 1 – Nov 6, 2026

Stars +1 in 6 days

01
1

Forks +0 in 6 days

01

Merged PRs 0 in 6 days

01

Trendshift Trendingwhere the repository ranked each day it made the top 25

Not in the Trendshift top 25 in this period

Nov 1Nov 2Nov 3Nov 4Nov 5Nov 6
The left and right arrow keys step from day to day; Home and End go to the first and the last

Stars, forks, merged pull requests and Trendshift Trending rank, by day
DayStars gainedForks gainedMerged PRs
Sun, Nov 1, 2026+0+00
Mon, Nov 2, 2026+0+00
Tue, Nov 3, 2026+1+00
Wed, Nov 4, 2026+0+00
Thu, Nov 5, 2026+0+00
Fri, Nov 6, 2026+0+00
Total+1+00
  • 1#1 on the list
  • 7Rank that day
  • Not trending

Social mentions

Recent discussions about this repository across the web
  1. Nov 21 post
    • you should see gowers' upper bound for the dutch guy's numbers

      Read full on X, posted by @ereliuer_eteer

      @ereliuer_eteer · x.com

You might also like

Repositories close to VladimirReshetnikov/ProveIt
FeaturedAdvertise to 180K+ monthly visitors
Bifrost

Fastest Enterprise AI Gateway for Routing, Governing, and Securing all your AI Traffic

anthropics/formal-math

Lean
46389

stepchowfun/proofs

Rocq Prover

My personal repository of formally verified mathematics.

31615

openai/math

Lean
17.4k2k

facebookresearch/atlas-lean

Lean

ATLAS Autoformalized Textbook Library At Scale

33152

LeanPool/lean-pool

Lean
14636

mo271/FormalBook

Lean

Formalizing "Proofs from THE BOOK"

9834

openai/ten-proofs

Lean

Lean certificates accompanying ten proofs in mathematics and theoretical computer science

21732

optpku/ReasBook

Python

Formalized mathematics from textbooks and research papers in Lean 4.

6515

leanprover-community/lean-liquid

Lean

💧 Liquid Tensor Experiment

25622