Add proof-driven pull request template #451

Closed
Timmy wants to merge 1 commits from timmy/pr-proof-template into main

1 Commits

Author SHA1 Message Date
Alexander Whitestone
0beda5abce Add proof-driven pull request template
Some checks failed
PR Checklist / pr-checklist (pull_request) Failing after 4m27s
2026-04-09 19:23:04 -04:00