| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2025-11-04 | Remove unreleased project reference from authors sectionproofmode-proposal | rabble | |
| 🤖 Generated with [Claude Code](https://claude.com/claude-code) Co-Authored-By: Claude <noreply@anthropic.com> | |||
| 2025-11-04 | draft of the proofmode spec | rabble | |