Instructions file
Claude Code instructions for etheorem/etheorem, covering etheorem: agent notes, principles, layout, conventions and adding a proof to a fork body.
19 8d ago A 6,990 tokens
LGPL-3.0
Instructions file
Claude Code instructions for etheorem/etheorem, covering etheorem: agent notes, principles, layout, conventions and adding a proof to a fork body.