[feat] support for multiple subjects#535

Open

gares wants to merge 34 commits intomasterfrom

Commits on Apr 28, 2025

fix test-suite rocq 9
gares
committed
attribute #[unsafe(univ)]
gares
committed
wrapping [wip]

gares
and
ptorrx
committed

Commits on May 13, 2025

Commits on May 14, 2025

Commits on May 15, 2025

Commits on May 16, 2025

HB.saturete: let the user specify how much to saturate the key
gares
committed

Commits on May 18, 2025

wrapping: use the phant abbreviation for building
gares
committed

Commits on May 19, 2025

Commits on May 21, 2025

Added tests
CalosciMatteo
committed

Commits on May 23, 2025

Commits on May 25, 2025

Commits on Jul 24, 2025

Added test for bug
CalosciMatteo
committed