Skip to content

Extract inductives

Extract inductives #19

equations

succeeded Feb 16, 2026 in 49s