Skip to content

finished semantic well-formedness of equality type (#271) #443

finished semantic well-formedness of equality type (#271)

finished semantic well-formedness of equality type (#271) #443

Annotations

1 warning

Continuous Intergration

succeeded Dec 19, 2024 in 8m 40s