Skip to main content
exists
logicaffeine_
proof
0.10.1
In logicaffeine_
proof::
tactic::
combinators
logicaffeine_proof
::
tactic
::
combinators
Function
exists
Copy item path
Source
pub fn exists(witness:
ProofTerm
) ->
Tactic
Expand description
exists witness
(∃I) as a tactic value.