Skip to content

Commit 96461bd

Browse files
CBirkbeckclaude
andcommitted
remove accidentally committed .claude files
Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
1 parent 54fc9ca commit 96461bd

13 files changed

Lines changed: 0 additions & 4261 deletions

.claude/docs/lean4/axiom-elimination.md

Lines changed: 0 additions & 252 deletions
This file was deleted.

0 commit comments

Comments
 (0)