anthropics /formal-math

Star History

86 days recorded, Aug 10, 2026 – Nov 3, 2026 (UTC). Net change +458 stars.

The star count of each day is the latest count less the net stars of the later days.

Add this Star History to a README

The images follow the light or dark theme of the page that shows them, and update every hour. Add ?theme=light or ?theme=darkto the chart address to keep one theme.

Star History chart

[![Star History of anthropics/formal-math](https://awesomerepos.com/anthropics/formal-math/stars.svg)](https://awesomerepos.com/anthropics/formal-math)Copy

Badge

[![AwesomeRepos](https://awesomerepos.com/anthropics/formal-math/badge.svg)](https://awesomerepos.com/anthropics/formal-math)Copy

Timeline

1. Aug 6, 2026Created on the Repository Host
2. Aug 10, 2026Largest star day recorded: +83 stars
3. Aug 11, 2026Reached 100 stars
4. Aug 11, 2026+42 stars in one day
5. Oct 27, 2026+65 stars in one day
6. Oct 29, 2026Entered the Repository Index: +113 stars in 7 days
7. Nov 1, 2026Latest push

From the Repository Host's creation date and releases, the Admission, the Star History, and the Observations. Star milestones show only when the Star History records the day. On the chart of net stars each day, a solid line marks a release.

Forks and pushes

From 5 Observations, Oct 30, 2026 – Nov 3, 2026. Forks +3. A new push was seen on 1 of 4 days.

Observations

What the Repository Host reported each day.