Record · github.com
Bhavik mehta
https:/
github.com
A page on github.com is cited by 2 distinct blogs to date (corpus.blog, measured 13 October 2026).
A record is what was published and who pointed at it. corpus.blog does not hold this page: read it at the source, or at its Wayback capture.
2blogs citing
| Period | Blogs | Links |
|---|---|---|
| All time | 2 | 2 |
| Last 90 days | 0 | 0 |
| Last 30 days | 0 | 0 |
| Last 7 days | 0 | 0 |
| First cited | 24 Mar 2020 |
|---|---|
| Latest citation | 18 Nov 2023 |
| Words blogs link it with | 1 |
Words blogs link it with
The words blogs link this page with, by how many different blogs use them.
- bhavik mehta2 blogs
Cited by 2 blogs in 2 posts
One row per blog, the most recently citing first. Each shows the blog's newest citing post; open a row for the others.
Blog
Newest citing post
Date
Terence Tao1 post
Formalizing the proof of PFR in Lean4 using Blueprint: a short tour
linked as “Bhavik Mehta”
Read at terrytao.wordpress.com (opens in a new tab)18 Nov 2023
24 Mar 2020
Something wrong with this page’s record? Report a problem with Bhavik mehta