Theoretical Computer Science

Guru

 Guru
Accepted answer and score of 40 or more. This badge can be awarded multiple times.

earned this badge 4 times.
Why does Coq have Prop?
Awarded Dec 9, 2022 at 11:35
Is it possible to test if a computable number is rational or integer?
Awarded Jul 5, 2022 at 16:51
A total language that only a Turing complete language can interpret
Awarded Nov 30, 2018 at 2:00
Techniques for Reversing the Order of Quantifiers
Awarded Aug 7, 2011 at 22:59

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.