Documentation

Lean.Elab.Tactic.BVDecide.Frontend.Normalize.Simproc

This module contains implementations of simprocs used in the bv_normalize simp set.

@[irreducible]
Equations
    Instances For