aron @adler.dev · Jun 8 claude is normal and can be trusted with type system formalisations
12 likes 3 replies
?
Replies
i so desperately want a claude tactic so i can give up and write `by claude`
Not too different from the ones I write by hand. If someone writes a “clean proofs” book maybe we can all (humans and ais) learn how to write better lean proofs. The pre-scale answer was contribute to Mathlib and get mentorship through reviews, but that doesn’t scale.
