Skip to content

Extract inductives

Extract inductives #18

coq

succeeded Feb 16, 2026 in 50s