Adapt proofs to use transparent integers#756

Merged

franziskuskiefer merged 9 commits intomainfrom transparent-integers

Jan 25, 2025

+10,694-9,197

Commits on Jan 18, 2025

Commits on Jan 23, 2025

refactor(fstar-helpers/tactics): drop the tactics related to machine integers
W95Psp
committed