Skip to content

preparing Trocq to add prop #186

preparing Trocq to add prop

preparing Trocq to add prop #186

Annotations

1 warning

coq

succeeded Oct 18, 2024 in 39s