lean4

feat: make `Environment.mk` private (#2604)

feat: Web Assembly Build (#2599)

fix: XML parsing bugs (#2601)

fix: withLocation should use withMainContext for target (#2607)

feat : derive `DecidableEq` for mutual inductives (#2591)