Module Nsatz_core_plugin.Nsatz

val nsatz_compute : Constr.t -> unit Proofview.tactic