Skip to content

Prove some cases of completeness #202

Prove some cases of completeness

Prove some cases of completeness #202

Annotations

1 warning

Completeness of _CoqProject

succeeded May 9, 2024 in 5s