Enlightened - Badge - Proof Assistants Stack Exchange

Enlightened

First to answer and accepted with score of 10 or more. This badge can be awarded multiple times.

Loïc

1,3597 silver badges14 bronze badges

earned this badge 3 times.

What are the possible kinds of type theories or logics with quotients?

Awarded Apr 2, 2022 at 13:15

Has anyone ever accidentally "proven" a false theorem with type-in-type?

Awarded Mar 31, 2022 at 21:46

What is Artin gluing, and how is it useful in proving meta-theoretic properties?

Awarded Feb 23, 2022 at 18:42

Others with this badge