Skip to content
corpus.blog
Sign in Claim your blog
Record · terrytao.wordpress.com

A Lean companion to “Analysis I”

Terence Tao · 31 May 2025 · 3 min read

A post on terrytao.wordpress.com, published 31 May 2025, is cited by 3 distinct blogs to date (corpus.blog, measured 12 October 2026).

A record is what was published and who pointed at it. The text of the post is not shown here: read it at the source, or at its Wayback capture.

Read at terrytao.wordpress.com (opens in a new tab) Wayback capture (opens in a new tab)

3blogs citing

Citing blogs and links by period
Period Blogs Links
All time33
Last 90 days00
Last 30 days00
Last 7 days00
Figures for this page
First cited4 Jun 2025
Latest citation28 Aug 2025
Words blogs link it with3
External links9
Length622
New citing blogs a weeksince Jun 2025
New citing blogs a week, since Jun 2025: 72 weeks, peak 1 a week, latest week 0

0 this week (still settling) · peak 1

Show as table
New citing blogs a week, week by week
Week of Value
2 Jun 20251
9 Jun 20250
16 Jun 20250
23 Jun 20250
30 Jun 20250
7 Jul 20250
14 Jul 20250
21 Jul 20250
28 Jul 20251
4 Aug 20250
11 Aug 20250
18 Aug 20250
25 Aug 20251
1 Sept 20250
8 Sept 20250
15 Sept 20250
22 Sept 20250
29 Sept 20250
6 Oct 20250
13 Oct 20250
20 Oct 20250
27 Oct 20250
3 Nov 20250
10 Nov 20250
17 Nov 20250
24 Nov 20250
1 Dec 20250
8 Dec 20250
15 Dec 20250
22 Dec 20250
29 Dec 20250
5 Jan 20260
12 Jan 20260
19 Jan 20260
26 Jan 20260
2 Feb 20260
9 Feb 20260
16 Feb 20260
23 Feb 20260
2 Mar 20260
9 Mar 20260
16 Mar 20260
23 Mar 20260
30 Mar 20260
6 Apr 20260
13 Apr 20260
20 Apr 20260
27 Apr 20260
4 May 20260
11 May 20260
18 May 20260
25 May 20260
1 Jun 20260
8 Jun 20260
15 Jun 20260
22 Jun 20260
29 Jun 20260
6 Jul 20260
13 Jul 20260
20 Jul 20260
27 Jul 20260
3 Aug 20260
10 Aug 20260
17 Aug 20260
24 Aug 20260
31 Aug 20260
7 Sept 20260
14 Sept 20260
21 Sept 20260
28 Sept 20260 (still settling)
5 Oct 20260 (still settling)
12 Oct 20260 (still settling)

Each blog counts once, in the week of its first citation. A blog added to the index recently can bring old first citations in at once.

Words blogs link it with

The words blogs link this page with, by how many different blogs use them.

  • lean companion1 blog
  • lean companion to analysis i1 blog
  • terry tao has launched a lean companion to analysis i1 blog

Cited by 3 blogs in 3 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
wofo1 post
Tic-tac-toe meets Lean 4

linked as “Lean companion to Analysis I”

Read at ochagavia.nl (opens in a new tab)
28 Aug 2025
Dan Abramov1 post
The Math Is Haunted

linked as “Lean companion”

Read at overreacted.io (opens in a new tab)
30 Jul 2025
aperiodical.com1 post
Double Maths First Thing: Issue 27

linked as “Terry Tao has launched a Lean companion to Analysis I”

Read at aperiodical.com (opens in a new tab)
4 Jun 2025

Links from this post

Link
Host
Elsewhere on terrytao.wordpress.com (1)

Something wrong here? Report a problem