@chrisTheClimber@mathstodon.xyz
Post #3227186
2026-05-13 16:00 UTC
RE: https://mathstodon.xyz/@chrisTheClimber/116533202284289688
The Talk tourned out to be a "I used Claude to generate Lean code" Talk🫠
Replies (0)
No replies.