Post #3679742

2026-06-29 15:18 UTC

@emilymbender@dair-community.social @alex@dair-community.social have you guys tried the latest Claude model for programming and auto-formalization? it is pretty cool

Replies (0)

No replies.