profile-img
Kevin Buzzard

@XenaProject

Mathematician learning Lean and trying to teach it to others. Now gone to Mathstodon (March 2023). No longer reading or replying to mentions.

calendar_today21-05-2019 21:44:04

3,9K Tweets

9,0K Followers

0 Following

Kevin Buzzard(@XenaProject) 's Twitter Profile Photo
Kevin Buzzard
@XenaProject

5 months ago

Lean Together 2024: free online conference 9-12 Jan 2024. More info at leanprover-community.github.io/lt2024/ . Talks about using Lean for maths, for software verification, UI features etc. Speakers will range from beginners to experts. Discussions, socials etc.

account_circle