Computer Science

Nice Question

 Nice Question
Question score of 10 or more. This badge can be awarded multiple times.

earned this badge 2 times.
Strict positivity
Awarded May 8, 2019 at 20:35
Difference between Dependent type , refinement type and Hoare Logic
Awarded Nov 4, 2017 at 15:05

Others with this badge

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.