Up
–
coq
»
Omega_plugin
» Coq_omega
Module
Omega_plugin.Coq_omega
val
omega_solver : unit
Proofview.tactic