Commit Graph

2 Commits

Author SHA1 Message Date
rabble
317e51b961 Remove unreleased project reference from authors section
🤖 Generated with [Claude Code](https://claude.com/claude-code)

Co-Authored-By: Claude <noreply@anthropic.com>
2025-11-04 18:23:14 +13:00
rabble
d44476eee8 draft of the proofmode spec 2025-11-04 18:15:22 +13:00