Stack Exchange
sign up
|
log in
|
chat
|
meta
|
about
|
faq
Theoretical Computer Science
Questions
Tags
Tour
Users
Ask Question
Badge
Student
Asked first question with score of 1 or more.
Chan Li earned this badge
nov 22 at 22:44
What's the difference between an invariant and an “inductive” invariant?
Others with this badge
Theoretical Computer Science Stack Exchange works best with JavaScript enabled