Exists -> ?

[Jared Forsyth]

How do I satisfy an "exists"? I forget the name of the tactic to tell coq "this is what I want the variable to be".

[Jay McCarthy]

"exists x." Where x is what you want it to be

On Monday, March 4, 2013, Jared Forsyth wrote:

How do I satisfy an "exists"? I forget the name of the tactic to tell coq "this is what I want the variable to be".

--
You received this message because you are subscribed to the Google Groups "byu-cs-430-winter-2013" group.
To unsubscribe from this group and stop receiving emails from it, send an email to byu-cs-430-winter...@googlegroups.com.
For more options, visit https://groups.google.com/groups/opt_out.
 
 

--
Jay McCarthy <j...@cs.byu.edu>
Assistant Professor / Brigham Young University
http://faculty.cs.byu.edu/~jay

"The glory of God is Intelligence" - D&C 93