differential-geometry
differential-geometry is 🌌Geometry library. It is ranked #6321 on the Dev Radar, in Other, first seen 20 days ago and shared in 1 post (1k views).
What differential-geometry says about itself
A general geometry library in LEAN 4. Contribute to qinz1yang/differential-geometry development by creating an account on GitHub.
GitHub - qinz1yang/differential-geometry: A general geometry library in LEAN 4. · GitHub Skip to content Navigation Menu Sign in Appearance settings Search / Sign in Sign up Appearance settings You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert {{ message }} Repository navigation differential-geometry Public Notifications You must be signed in to change notification settings Fork 12 ( 12 ) Star 81 ( 81 ) You must be signed in to star a repository About A…
What people said about differential-geometry on X
🚀 Humanfia × Geometrization: Perelman's Proof, Now Fully Formalized in Lean The Humanfia team and Yuan Liao, Ziyang Qin, Ayush Khaitan , Ben Chow, and have completed a full Lean formalization of the Hamilton–Perelman proof of Thurston's Geometrization conjecture! It goes beyond Poincaré and classifies every…
— @LigengZhu, 20 days ago · 17 likes · see the post
Alternatives to differential-geometry
- Step-5-Preview — Join the countdown
- Google — Argon is rolling out today to Google Ultra and Pro subscribers in the @GeminiApp and Search, and Ultra subscribers in…
- nanbeige4.3-33b — We’re on a journey to advance and democratize artificial intelligence through open source and open science.
- Spark-X2.5 — Healthcare-focused AI just got a little lighter. Same powerful reasoning, less memory to worry about. 🤖
- anymove — Open source
- Ideogram — Live in Ideogram and the API
differential-geometry in numbers
- Rank on the Dev Radar: #6321 of 8798
- Shared in 1 post by 1 account: @LigengZhu
- 1k views on those posts
- First seen 20 days ago, last shared 20 days ago
- Pricing seen by AGK Intelligence: open source
- Market: Other
FAQ
What is differential-geometry?
🌌Geometry library It was first shared on X 20 days ago and is ranked #6321 on the Dev Radar.
Is differential-geometry free?
It is open source.
Who shared differential-geometry?
1 account on X, including @LigengZhu, in 1 post totalling 1k views.
Every post is read and classified by AGK Intelligence: what it is, which market it belongs to, and whether the link is a real tool. 31.2k posts from 5k X accounts over the last 21 days, 8.8k tools, 12 markets. New posts are collected several times an hour and the full ranking is recomputed every hour — last update 2026-10-30 20:27 UTC. Full method.