Skip to content

Extract inductives

Extract inductives #19

coq

succeeded Feb 16, 2026 in 47s