HepLean Documentation

Std.Tactic.BVDecide.Normalize.Prop

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