| Enlightened | First to answer and accepted with score of 10 or more. This badge can be awarded multiple times. |
Hartmut Klauck earned this badge |
dec 11 at 13:19
Interactive Proof for HORN-SAT?
| Enlightened | First to answer and accepted with score of 10 or more. This badge can be awarded multiple times. |
Hartmut Klauck earned this badge |
