Skip to content

attempt to remove unnecessary axioms (#52) #152

attempt to remove unnecessary axioms (#52)

attempt to remove unnecessary axioms (#52) #152

Annotations

1 warning

Completeness of _CoqProject

succeeded May 5, 2024 in 3s