Skip to content

Work on the final semantic rule for equality #452

Work on the final semantic rule for equality

Work on the final semantic rule for equality #452

Annotations

1 warning

Completeness of _CoqProject

succeeded Dec 27, 2024 in 2s