Skip to content

finished semantic well-formedness of equality type #437

finished semantic well-formedness of equality type

finished semantic well-formedness of equality type #437

Annotations

1 warning

Completeness of _CoqProject

succeeded Dec 16, 2024 in 3s