Skip to content

make v is T and v or e imply not-T for expression e #445

make v is T and v or e imply not-T for expression e

make v is T and v or e imply not-T for expression e #445

Annotations

1 notice

Test (macos-latest, 5.4)

succeeded Jan 4, 2025 in 44s