§
Big List of Decision Procedures Research Questions
Normalization procedure for the mathlib theory of affine spaces plus their functions!