HepLean Documentation

Std.Tactic.BVDecide.Normalize.Bool

This module contains the Bool simplifying part of the bv_normalize simp set.