Skip to content
Back to pull request #22476

Widen skolem types when adding parent refinements #6813

Sign in to view logs

Widen skolem types when adding parent refinements

Widen skolem types when adding parent refinements #6813

specification

specification
succeeded Jan 31, 2025 in 1m 25s