Documentation

Lean.Elab.Tactic.BVDecide.BVDecide

This module provides the implementation of the bv_decide frontend itself.

source
def Lean.Elab.Tactic.BVDecide.evalBvDecide :
Tactic
Instances For