Skip to content
Specification

Expr#show: Don't crash when the expression contains an unsupported type (like a SkolemType) #5326

Sign in to view logs

Expr#show: Don't crash when the expression contains an unsupported type (like a SkolemType)

Expr#show: Don't crash when the expression contains an unsupported type (like a SkolemType) #5326

specification

specification
succeeded Sep 17, 2024 in 1m 13s