Badge

 Student Asked first question with score of 1 or more.

Dorry earned this badge

oct 21 at 5:53
Proving that double negation elimination implies law of excluded middle, in Heyting algebra

Others with this badge