Skip to content

Extract inductives

Extract inductives #19

metarocq

succeeded Feb 16, 2026 in 28m 18s