github.com/leanprover-community/mathlib4

commit signals (19)

• AiGenerationPhrase
  Tool: claude-codeCommit: 7fcebc384b9a0e214a3b8c3a3b332ffd2107f9d2Authored: 5 days ago (Thu, 11 Jun 2026 14:35:31 +0000)Match: Generated with [Claude Code]
• AiGenerationPhrase
  Tool: claude-codeCommit: 7eaeb73d374ef3776a5437e4a59a9d4ced3c4463Authored: 1 week ago (Thu, 4 Jun 2026 14:00:30 +0000)Match: Generated with [Claude Code]
• AiGenerationPhrase
  Tool: claude-codeCommit: adb3e6247dfff3e01b62999214e3d6f46b6fa792Authored: 2 weeks ago (Tue, 2 Jun 2026 19:52:41 +0000)Match: Generated with [Claude Code]
• AiGenerationPhrase
  Tool: claude-codeCommit: f1a41b158c7c0b0a63c9aaf451d07b8378531e3bAuthored: 3 weeks ago (Tue, 26 May 2026 20:43:31 +0000)Match: Generated with [Claude Code]
• AiGenerationPhrase
  Tool: claude-codeCommit: 50eb44cda71a6cf76d9e32cb2b2c65044cc9e336Authored: 3 weeks ago (Mon, 25 May 2026 16:38:55 +0000)Match: Generated with [Claude Code]
• AiCoAuthor
  Tool: claude-codeCommit: 50eb44cda71a6cf76d9e32cb2b2c65044cc9e336Authored: 3 weeks ago (Mon, 25 May 2026 16:38:55 +0000)Match: Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
• AiCoAuthor
  Tool: claude-codeCommit: 6d6fafce1d1646b47a1e6357e15c5aaa3a053d4bAuthored: 1 month ago (Wed, 13 May 2026 18:11:38 +0000)Match: Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>
• AiCoAuthor
  Tool: claude-codeCommit: 379cf5d5494b2d4196d4b23f28569cfddb4a5c2cAuthored: 1 month ago (Wed, 13 May 2026 12:28:06 +0000)Match: Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>
• AiGenerationPhrase
  Tool: claude-codeCommit: 37b1af3b49c3be67ab649d3dd321cd7054bd1fddAuthored: 1 month ago (Wed, 29 Apr 2026 07:13:45 +0000)Match: generated by claude code
• AiGenerationPhrase
  Tool: claude-codeCommit: 15d92c605b1bb999b1926ba81263a5a2ab74ba3eAuthored: 1 month ago (Tue, 21 Apr 2026 07:37:53 +0000)Match: Generated with [Claude Code]
• AiGenerationPhrase
  Tool: claude-codeCommit: c1755e476ba59eb03ba2550bd1c057d0f5def72cAuthored: 2 months ago (Wed, 15 Apr 2026 17:10:23 +0000)Match: Generated with [Claude Code]
• AiGenerationPhrase
  Tool: claude-codeCommit: 967fd3f864b17eafadd46549c91c83f966720d83Authored: 2 months ago (Fri, 27 Mar 2026 09:37:22 +0000)Match: Generated with [Claude Code]
• AiCoAuthor
  Tool: claude-codeCommit: 0879935299434ebe5705860720085ebb7c7bdef8Authored: 2 months ago (Wed, 25 Mar 2026 13:21:15 +0000)Match: Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
• AiCoAuthor
  Tool: claude-codeCommit: e206344194b3c0c8d2a104a3d895547209810fd7Authored: 3 months ago (Tue, 10 Mar 2026 23:22:19 +0000)Match: Co-authored-by: Claude Opus 4.5
• AiCoAuthor
  Tool: claude-codeCommit: 760db6fd3b03aeb3f293868439d5d3c3db22cf36Authored: 3 months ago (Thu, 5 Mar 2026 21:04:33 +0000)Match: Co-authored-by: Claude <noreply@anthropic.com>
• AiCoAuthor
  Tool: claude-codeCommit: 1d8b579503ac86b10d510133503612f691706e75Authored: 4 months ago (Fri, 13 Feb 2026 15:59:51 +0000)Match: Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com>
• AiCoAuthor
  Tool: claude-codeCommit: ec9f784576f783fdc23e554a71c047c4a32f0b4aAuthored: 4 months ago (Mon, 26 Jan 2026 23:52:38 +0000)Match: Co-authored-by: Claude Opus 4.5 <noreply@anthropic.com>
• AiGenerationPhrase
  Tool: claude-codeCommit: 5352afccd6866369be9de43f5b7ec47203555f44Authored: 4 months ago (Mon, 26 Jan 2026 12:03:38 +0000)Match: Generated with [Claude Code]
• AiCoAuthor
  Tool: claude-codeCommit: 5352afccd6866369be9de43f5b7ec47203555f44Authored: 4 months ago (Mon, 26 Jan 2026 12:03:38 +0000)Match: Co-authored-by: Claude Opus 4.5 <noreply@anthropic.com>

source signals (0)

none