Extract module `kmir._prove` - #920

Merged

automergerpr-permission-manager[bot] merged 6 commits into

extract-module-prove

Jan 28, 2026

Commits on Jan 27, 2026

Extract module `_prove`
tothtamas28
committed
00d30a9
Move `cut_point_rules`
tothtamas28
committed
caef161
Make arguments keyword-only
tothtamas28
committed
a1aad72
Move `apr_proof_from_smir`
tothtamas28
committed
8f18914
Make some arguments keyword-only
tothtamas28
committed
dc8afd5
Extract function `_prove_rs`
tothtamas28
committed
fc42863