Skip to content

Generalized coercions #30

Generalized coercions

Generalized coercions #30

Annotations

1 warning

coq-bits

succeeded May 28, 2024 in 38s