Skip to main content

All Questions

Tagged with
1 question with no upvoted or accepted answers
3 votes
0 answers
93 views

Where is the discriminate tactic defined in Coq?

One can read the Coq documentation about discriminate tactic here. Were is this tactic actually defined?
Jacob woolcutt's user avatar