/-! # Choreography.Assumptions

Centralized assumptions for V2 proofs.

This module is the only place where new assumptions are introduced.
-/

namespace Choreography.Assumptions

/-! ## Current Assumptions

No additional axioms are required at the moment.
-/

end Choreography.Assumptions
