fstar: formalize FPA rewriter rules from PR #9038 in F* with Meta-F* extraction and CI workflow#9222
Closed
NikolajBjorner with Copilot wants to merge 9 commits into
Closed
fstar: formalize FPA rewriter rules from PR #9038 in F* with Meta-F* extraction and CI workflow#9222NikolajBjorner with Copilot wants to merge 9 commits into
NikolajBjorner with Copilot wants to merge 9 commits into
Commits
Commits on Apr 3, 2026
Commits on Apr 5, 2026
- andauthored
- andauthored
- andauthored
- andauthored
- andauthored