- AiCoAuthor
Tool: claude-codeCommit: 6736c163ad5331342020d87f18fef52966248968Authored: 1 month ago (Sat, 27 Jun 2026 22:37:03 +0000)Match: Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com>
- AiCoAuthor
Tool: claude-codeCommit: 5981c58891c26855976eedcc6947d84c5d93ded4Authored: 1 month ago (Sat, 27 Jun 2026 21:36:46 +0000)Match: Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com>
- AiCoAuthor
Tool: claude-codeCommit: c1b57a3c57843639cfadffd72d42d032e14250b7Authored: 1 year ago (Wed, 6 Aug 2025 15:54:56 +0000)Match: Co-Authored-By: Claude <noreply@anthropic.com>
- AiCoAuthor
Tool: claude-codeCommit: f1da9c833c5a045f060d96756393afc8ee65c175Authored: 1 year ago (Wed, 6 Aug 2025 13:31:11 +0000)Match: Co-Authored-By: Claude <noreply@anthropic.com>
- AiCoAuthor
Tool: claude-codeCommit: ea4c27c27c76a4ebef2ee2ea1c1423f0ed8f3861Authored: 1 year ago (Tue, 5 Aug 2025 03:52:24 +0000)Match: Co-Authored-By: Claude <noreply@anthropic.com>
- AiCoAuthor
Tool: claude-codeCommit: 31f007f71fa0992c4203c6a001981f5ca45d5e63Authored: 1 year ago (Mon, 5 May 2025 20:45:55 +0000)Match: Co-Authored-By: Claude <noreply@anthropic.com>
- AiCoAuthor
Tool: claude-codeCommit: 475da38873be112607b1fa8150b01b39b5760994Authored: 1 year ago (Mon, 5 May 2025 20:42:43 +0000)Match: Co-Authored-By: Claude <noreply@anthropic.com>
- AiCoAuthor
Tool: claude-codeCommit: 9e1481de7a931667b4db0cc316ba7a61e9940340Authored: 1 year ago (Mon, 5 May 2025 20:42:14 +0000)Match: Co-Authored-By: Claude <noreply@anthropic.com>
- AiCoAuthor
Tool: claude-codeCommit: 7c68c3d0d83dc405cf8961cb6af8b924facf0f28Authored: 1 year ago (Mon, 5 May 2025 20:40:18 +0000)Match: Co-Authored-By: Claude <noreply@anthropic.com>
- AiCoAuthor
Tool: claude-codeCommit: fe953f9370adee3b935e7b66e0ae14f55bdbb08fAuthored: 1 year ago (Mon, 5 May 2025 20:40:12 +0000)Match: Co-Authored-By: Claude <noreply@anthropic.com>
- AiCoAuthor
Tool: claude-codeCommit: 113b59589a8619ade60d320e5fd63a5e15ed86e4Authored: 1 year ago (Mon, 5 May 2025 20:15:59 +0000)Match: Co-Authored-By: Claude <noreply@anthropic.com>
- AiCoAuthor
Tool: claude-codeCommit: 07368e89cf7cb0ba41462c9fe662cf2f0c0fb7cdAuthored: 1 year ago (Mon, 5 May 2025 20:14:42 +0000)Match: Co-Authored-By: Claude <noreply@anthropic.com>
- AiCoAuthor
Tool: claude-codeCommit: 5260cd32d3e188b017b2563f7ffa190a0106aa41Authored: 1 year ago (Mon, 5 May 2025 20:14:29 +0000)Match: Co-Authored-By: Claude <noreply@anthropic.com>
- AiCoAuthor
Tool: claude-codeCommit: 1fcc8044651bb5fae1ce5605f424946dd4b7cdf7Authored: 1 year ago (Mon, 5 May 2025 20:13:03 +0000)Match: Co-Authored-By: Claude <noreply@anthropic.com>
- AiGenerationPhrase
Tool: claude-codeCommit: 00f360c36a454438e2c2a67120a99f37ab28bbb8Authored: 1 year ago (Mon, 5 May 2025 20:12:07 +0000)Match: 🤖 Generated with [Claude Code](https://claude.ai/code)
- AiCoAuthor
Tool: claude-codeCommit: 00f360c36a454438e2c2a67120a99f37ab28bbb8Authored: 1 year ago (Mon, 5 May 2025 20:12:07 +0000)Match: Co-Authored-By: Claude <noreply@anthropic.com>
- AiGenerationPhrase
Tool: claude-codeCommit: 0dd51518e7a72635a677ede79b170528e015152bAuthored: 1 year ago (Mon, 5 May 2025 20:09:39 +0000)Match: feat: complete presentation with presenter notes and timed slides\n\nThis commit adds a comprehensive presentation with presenter notes for pdfpc, bibliography integration, and proper slide timing. The presentation covers McCarthy's original Lisp concepts and their formalization with Coq.\n\n\ud83e\udd16 Generated with [Claude Code](https://claude.ai/code)\n\nCo-Authored-By: Claude <noreply@anthropic.com>
- AiGenerationPhrase
Tool: claude-codeCommit: 9d590de3a28f4d73c2cd33102d61ae8ddbcdbcfbAuthored: 1 year ago (Mon, 5 May 2025 19:28:33 +0000)Match: 🤖 Generated with [Claude Code](https://claude.ai/code)
- AiCoAuthor
Tool: claude-codeCommit: 9d590de3a28f4d73c2cd33102d61ae8ddbcdbcfbAuthored: 1 year ago (Mon, 5 May 2025 19:28:33 +0000)Match: Co-Authored-By: Claude <noreply@anthropic.com>
- AiGenerationPhrase
Tool: claude-codeCommit: 48c3e42b76d5c5e13afc6f812ce89ba28b16d9b5Authored: 1 year ago (Mon, 5 May 2025 19:28:23 +0000)Match: \feat: separate Scheme and Coq tests in Makefile\n\nThis commit separates Scheme and Coq tests into distinct targets in the Makefile, making it easier to run tests for each language independently. It also adds the Coq proofs directory with formal verification examples.\n\n\ud83e\udd16 Generated with [Claude Code](https://claude.ai/code)\n\nCo-Authored-By: Claude <noreply@anthropic.com>\
- AiGenerationPhrase
Tool: claude-codeCommit: ac1e760fbdbdca30f299594b7cdbfaf7a75c87f1Authored: 1 year ago (Mon, 5 May 2025 19:20:34 +0000)Match: 🤖 Generated with [Claude Code](https://claude.ai/code)
- AiCoAuthor
Tool: claude-codeCommit: ac1e760fbdbdca30f299594b7cdbfaf7a75c87f1Authored: 1 year ago (Mon, 5 May 2025 19:20:34 +0000)Match: Co-Authored-By: Claude <noreply@anthropic.com>
- AiGenerationPhrase
Tool: claude-codeCommit: 5878185037bd83ab4c6cd40efcf7305b17bd8cb1Authored: 1 year ago (Mon, 5 May 2025 19:20:22 +0000)Match: 🤖 Generated with [Claude Code](https://claude.ai/code)
- AiCoAuthor
Tool: claude-codeCommit: 5878185037bd83ab4c6cd40efcf7305b17bd8cb1Authored: 1 year ago (Mon, 5 May 2025 19:20:22 +0000)Match: Co-Authored-By: Claude <noreply@anthropic.com>
- AiGenerationPhrase
Tool: claude-codeCommit: bea2ada8cfd97516c983540b798b4dc02e308a78Authored: 1 year ago (Mon, 5 May 2025 19:20:13 +0000)Match: 🤖 Generated with [Claude Code](https://claude.ai/code)
- AiCoAuthor
Tool: claude-codeCommit: bea2ada8cfd97516c983540b798b4dc02e308a78Authored: 1 year ago (Mon, 5 May 2025 19:20:13 +0000)Match: Co-Authored-By: Claude <noreply@anthropic.com>
- AiGenerationPhrase
Tool: claude-codeCommit: aa15dfd27a225f2c4cd87963ac7c3fa029e3b12dAuthored: 1 year ago (Mon, 5 May 2025 19:20:03 +0000)Match: 🤖 Generated with [Claude Code](https://claude.ai/code)
- AiCoAuthor
Tool: claude-codeCommit: aa15dfd27a225f2c4cd87963ac7c3fa029e3b12dAuthored: 1 year ago (Mon, 5 May 2025 19:20:03 +0000)Match: Co-Authored-By: Claude <noreply@anthropic.com>
- AiCoAuthor
Tool: claude-codeCommit: b36489e7d5e5fafada34488f5e9c6e72e284a1d4Authored: 1 year ago (Mon, 5 May 2025 14:42:41 +0000)Match: Co-authored-by: Claude <noreply@anthropic.com>
- AiCoAuthor
Tool: claude-codeCommit: 3040b47c638e9aa6f59ac8a0a78a6afa922c51b9Authored: 1 year ago (Mon, 5 May 2025 14:39:08 +0000)Match: Co-authored-by: Claude <noreply@anthropic.com>
- AiCoAuthor
Tool: claude-codeCommit: 006c9fb57d879d3613b596908aabfa6a58e8e2feAuthored: 1 year ago (Mon, 5 May 2025 14:37:59 +0000)Match: Co-authored-by: Claude <noreply@anthropic.com>
- AiCoAuthor
Tool: claude-codeCommit: 059cc089e31c839fc7666e6bb8378e7f4795d1f3Authored: 1 year ago (Mon, 5 May 2025 13:26:33 +0000)Match: Co-authored-by: Claude <noreply@anthropic.com>
- AiCoAuthor
Tool: claude-codeCommit: ba7f3ca6fbec86b60c1826d0fbaa7452cf1ef7eaAuthored: 1 year ago (Mon, 5 May 2025 13:23:03 +0000)Match: Co-authored-by: Claude <noreply@anthropic.com>
- AiCoAuthor
Tool: claude-codeCommit: 07df987a99b8f51a07db85120d966d4978f693b8Authored: 1 year ago (Mon, 5 May 2025 13:22:25 +0000)Match: Co-authored-by: Claude <noreply@anthropic.com>
- AiCoAuthor
Tool: claude-codeCommit: 3606504c2155aa7bf1bb57a84167a9fc57721609Authored: 1 year ago (Mon, 5 May 2025 13:22:10 +0000)Match: Co-authored-by: Claude <noreply@anthropic.com>
- AiCoAuthor
Tool: claude-codeCommit: b2329ce30f286c7fc30afef47e093277e4f08b8cAuthored: 1 year ago (Mon, 5 May 2025 13:21:51 +0000)Match: Co-authored-by: Claude <noreply@anthropic.com>
- AiCoAuthor
Tool: claude-codeCommit: b90091169afbadac671d0defb889f1c70a289dceAuthored: 1 year ago (Mon, 5 May 2025 13:21:15 +0000)Match: Co-authored-by: Claude <noreply@anthropic.com>
- AiCoAuthor
Tool: claude-codeCommit: 8498e4f924f1b1aac8556eaf23e40a82b432ebbfAuthored: 1 year ago (Mon, 5 May 2025 04:01:19 +0000)Match: Co-authored-by: Claude <noreply@anthropic.com>
- AiAuthor
Tool: claude-codeCommit: 1bd1dc7a13a41f28cd399c49d6e550cfd9d84281Authored: 1 year ago (Mon, 5 May 2025 03:57:37 +0000)Match: noreply@anthropic.com
- AiAuthor
Tool: claude-codeCommit: 1bd1dc7a13a41f28cd399c49d6e550cfd9d84281Authored: 1 year ago (Mon, 5 May 2025 03:57:37 +0000)Match: noreply@anthropic.com
- AiCoAuthor
Tool: claude-codeCommit: 1bd1dc7a13a41f28cd399c49d6e550cfd9d84281Authored: 1 year ago (Mon, 5 May 2025 03:57:37 +0000)Match: Co-authored-by: Claude <noreply@anthropic.com>
- AiAuthor
Tool: claude-codeCommit: 04387e76bd4ca304d2332a428afd02aa9394af51Authored: 1 year ago (Sun, 4 May 2025 23:35:36 +0000)Match: noreply@anthropic.com
- AiAuthor
Tool: claude-codeCommit: 04387e76bd4ca304d2332a428afd02aa9394af51Authored: 1 year ago (Sun, 4 May 2025 23:35:36 +0000)Match: noreply@anthropic.com
- AiCoAuthor
Tool: claude-codeCommit: 04387e76bd4ca304d2332a428afd02aa9394af51Authored: 1 year ago (Sun, 4 May 2025 23:35:36 +0000)Match: Co-authored-by: Claude <noreply@anthropic.com>