Jean Abou Samra (new account) on Nostr: nprofile1q…8ge3w Maybe ask the Lean people on . I've seen a lot of talk about AI ...
nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpq0fr6cyp8jln5f3nltnwlj3ww68jvxke2cmju3s0cndwdwnajyq3q08ge3w (nprofile…ge3w) Maybe ask the Lean people on https://leanprover.zulipchat.com . I've seen a lot of talk about AI tools for formalization there lately.