Skip to content

Extract inductives

Extract inductives #24

metarocq

succeeded Feb 17, 2026 in 28m 41s