Skip to main content

All Questions

Tagged with
2 votes
1 answer
95 views

What does `induction ... in ...` do in Coq?

I'm self-studying the Semantics course, and met the following proof script in the warmup directory: ...
Jay Lee's user avatar
  • 123