Skip to content

finished semantic well-formedness of equality type #433

finished semantic well-formedness of equality type

finished semantic well-formedness of equality type #433

Annotations

1 warning

Continuous Intergration

succeeded Dec 10, 2024 in 8m 36s