Skip to content

preparing Trocq to add prop #184

preparing Trocq to add prop

preparing Trocq to add prop #184

Annotations

1 warning

coq-elpi

succeeded Oct 7, 2024 in 1m 45s