Blog · corpus.blog/blogs/xenaproject.wordpress.com
Xena | Mathematicians learning Lean by doing.
xenaproject.wordpress.com · Personal developer blogs · English
- Posts on record
- 10
- First published
- 9 February 2025
- Last published
- 4 September 2026
- Feed
- xenaproject.wordpress.com/feed/
- Language
- English
- Category
- Personal developer blogs
Is this your blog?
Claim it to see who cites you, get citation alerts, send webmentions for the people you link to, and download your archive as markdown.
31blogs citing
70 links from citing blogs
Most cited pages
Page
Blogs
Human mathematicians are being outcounterexampled
/2026/07/20/human-mathematicians-are-being-outcounterexampled/
7blogs
FLT: Anthropic has beaten me to it
/2026/09/04/flt-anthropic-has-beaten-me-to-it/
5blogs
Formal or not formal? That is the question in AI for theorem proving.
/2025/10/22/formal-or-not-formal-that-is-the-question-in-ai-for-theorem-proving/
1blogs
Formalization of Erdős problems
/2025/12/05/formalization-of-erdos-problems/
1blogs
Accelerating mathematics
/2026/02/09/accelerating-mathematics/
1blogs
Formalizing Fermat workshop
/2026/05/15/formalizing-fermat-workshop/
1blogs
Blogs citing this one
Blog
Links
Posts
Links and posts differ when one blog links here several times from a single post: that is counted once as a citing blog either way.
Similar blogs
Blogs that link to the same sites as xenaproject.wordpress.com. Sites only a few blogs link to count for more than ones everybody links to.
Recent posts
4 Sept 2026
13 Aug 2026
15 May 2026
9 Feb 2026
3 Aug 2025
16 Mar 2025
9 Feb 2025
All 10 posts, by year
A source page reaches every post it holds, not only the newest fifteen.