Claude Code available with your Pro or Max plan

Stream: general

[Eric Taucher]

Posting this here in general as a topic because Claude Code is not widely used enough by users here to regulate an announcement but knowing that if you have Anthropic Claude Pro or Max plan you can now access Claude Code. The connection with Lean is that Anthropic LLM models such as with Claude or Claude Code are currently noted for having some success at times with help in completing theorems.

The details for accessing Claude Code from Claude can be found on the Anthropic FAQ page.

Using Claude Code with your Pro or Max plan

Pro and Max plan subscribers have access to use Claude Code directly in the terminal.