Skip to content

docs: reframe README as the Riemannian Geometry Challenge#108

Merged
Xinze-Li-Moqian merged 1 commit into
mainfrom
docs/readme-refresh
Jun 28, 2026
Merged

docs: reframe README as the Riemannian Geometry Challenge#108
Xinze-Li-Moqian merged 1 commit into
mainfrom
docs/readme-refresh

Conversation

@Xinze-Li-Moqian

Copy link
Copy Markdown
Contributor

Reframe the README around the initiative instead of a library description.

  • Centered hero: title, tagline ("A public, open initiative to build Riemannian geometry into a living, machine-verified textbook…"), and badges for Powered by Astrolabe, Website (events.astrolabe.network), and Discord.
  • Keep concise Lean library usage / build / status / contributing / license.

(GitHub About homepage + description updated separately to events.astrolabe.network + the tagline.)

Center hero with the initiative tagline and Powered-by-Astrolabe / Website /
Discord badges; drop the old library-only framing.
@Xinze-Li-Moqian Xinze-Li-Moqian merged commit c2ba3a3 into main Jun 28, 2026
@Xinze-Li-Moqian Xinze-Li-Moqian deleted the docs/readme-refresh branch June 28, 2026 23:41
@vercel

vercel Bot commented Jun 28, 2026

Copy link
Copy Markdown

The latest updates on your projects. Learn more about Vercel for GitHub.

Project Deployment Actions Updated (UTC)
open-ga Ready Ready Preview, Comment Jun 28, 2026 11:42pm

Request Review

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant