Skip to content

GitLab

Merged
Opened by Robbert Krebbers@robbertkrebbersMaintainer

Prove `Laterable (∃ x, Φ x)`.

The title says it all.