Skip to content

preparing Trocq to add prop #164

preparing Trocq to add prop

preparing Trocq to add prop #164

Annotations

1 warning

coq-elpi

succeeded Mar 7, 2024 in 1m 55s