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
Busbar
Busbar

Dr-Logvinovich/round-square

Zero-axiom Lean 4 formal proof (RoundSquare.lean, 74 print axioms checks) of the Yang–Mills Mass Gap Incompatibility Theorem on pure non-compact R^4 & automatic spectral gap on the compact constructible manifold M_tot = S^4 x T^3. Official repository for V. Logvinovich (2026)

Visit GitHub
Lean
4
3
1 contributors
MIT License
website
FeaturedAdvertise to 180K+ monthly visitors
Bifrost

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

Busbar

Control what AI can do before it acts

Momentum

How fast Dr-Logvinovich/round-square 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 5 – Nov 8, 2026

Stars +1 in 4 days

01
1

Forks +3 in 4 days

01
1

Merged PRs 0 in 4 days

01

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

Not in the Trendshift top 25 in this period

Nov 5Nov 6Nov 7Nov 8
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
Thu, Nov 5, 2026+0+10
Fri, Nov 6, 2026+0+10
Sat, Nov 7, 2026+1+10
Sun, Nov 8, 2026+0+00
Total+1+30
  • 1#1 on the list
  • 7Rank that day
  • Not trending

Social mentions

Recent discussions about this repository across the web
  1. Nov 83 posts
    • Show HN: 25 LTC Bounty to find a bug in Lean 4 formal Yang-Mills proof

      Read full on Hacker News

      Hacker News

    • 6th-grade Peano arithmetic broke OpenAI's $100B Yang-Mills mass gap proof

      Read full on Hacker News

      Hacker News

    • 🖥️🔥 PEN & PAPER VS. $100B SUPERMACHINES: WHY I AM OFFICIALLY TROLLING @OpenAI ON THE YANG–MILLS MASS GAP - AND HOW 6TH-GRADE PEANO ARITHMETIC BEAT THE WORLD'S BIGGEST GPU CLUSTERS! ✍️📄⚖️ 🔗 Read…

      Read full on X, posted by @dr_logvinovich

      @dr_logvinovich · x.com

  2. Nov 71 post
    • ⚡ WHY NIKOLA TESLA WAS RIGHT ABOUT THE VACUUM, WHY OIL BARONS BURIED WARDENCLYFFE - AND HOW 3,705 LINES OF LEAN 4 CODE PROVE THAT CONTINUOUS SPACE ℝ⁴ IS A MATHEMATICAL ILLUSION! 🌍⚡⚖️ 🔗 Official…

      Read full on X, posted by @dr_logvinovich

      @dr_logvinovich · x.com