Skip to content

Finish completeness #274

Finish completeness

Finish completeness #274

Annotations

1 warning

Completeness of _CoqProject

succeeded May 28, 2024 in 4s