Skip to content

Extract inductives

Extract inductives #22

Annotations

1 error

coq

failed Feb 17, 2026 in 48s