chore: Split out the finishing tactic aspect of simp_mem into mem_omega [2/?]#231

Merged

shigoel merged 3 commits intomainfrom simp-mem-mem-omega-2

Oct 29, 2024

+266-116

Commits on Oct 10, 2024

chore: split out simp_mem theory into a Common/ folder to be used to build mem_omega
bollu
committed
chore: peel out mem_omega's job into a separate file
bollu
committed

Commits on Oct 29, 2024

chore: Split out the finishing tactic aspect of simp_mem into mem_omega [2/?]
bollu
committed