Skip to content

Synthesize Decidable instances under a local Classical scope. #895

Synthesize Decidable instances under a local Classical scope.

Synthesize Decidable instances under a local Classical scope. #895

Annotations

1 error and 2 warnings

Linux-aarch64

failed May 7, 2026 in 4m 47s