← Feed @MonniauxD@social.sciences.re Post #1773377 2026-04-28 15:07 UTC @yforster the extraction apparently optimizes stuff differently, thus handwritten OCaml code does not link to the extracted code Replies (0) No replies.