Skip to content

finished semantic well-formedness of equality type #440

finished semantic well-formedness of equality type

finished semantic well-formedness of equality type #440

Annotations

1 error and 1 warning

Continuous Intergration

failed Dec 18, 2024 in 6m 38s