feat: proof reconstruction for rewrite rules#105
Draft
felipeperet wants to merge 31 commits into
Draft
Commits
Commits on Mar 7, 2026
Commits on Mar 8, 2026
Commits on Mar 9, 2026
Commits on Mar 10, 2026
Commits on Mar 11, 2026
- committed
- committed
- committed
- committed
- committed
Commits on Mar 13, 2026
Commits on Mar 14, 2026
Commits on Mar 15, 2026
Commits on Mar 16, 2026
Commits on Mar 18, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed