Skip to content

attempt to remove unnecessary axioms #147

attempt to remove unnecessary axioms

attempt to remove unnecessary axioms #147

Annotations

1 warning

Completeness of _CoqProject

succeeded May 4, 2024 in 4s