Xenaproject Wordpress

@xenaproject

Mathematicians learning Lean by doing.

This user has not joined diff.blog yet

WRITING STATS

3

blog posts written in last 3 months

Posts per week

Posts

Jun 14

Jun 21

Jun 28

Jul 05

Jul 12

1

Jul 19

Jul 26

Aug 02

1

Aug 09

Aug 16

Aug 23

1

Aug 30

Sponsored

Zulip

Organized team chat for people who take work seriously. Topic-based threading keeps conversations focused.

Become a sponsor →