Skip to content
  • Loïc Correnson's avatar
    [wp] fix qualif oracles · 70f07158
    Loïc Correnson authored
    Change order of operations (ordered by Kf to add lemmas)
    Smaller compiled context (compounds only used in Kf)
    70f07158