Nice Question - Badge - Proof Assistants Stack Exchange

1. Home
2. Questions
3. Tags
5. Users
6. Unanswered
Teams

Now available on Stack Overflow for Teams! AI features where you work: search, IDE, and chat.
Learn more Explore Teams
Teams
Ask questions, find answers and collaborate at work with Stack Overflow for Teams. Explore Teams

Nice Question

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

Mike Shulman

3,2406 silver badges34 bronze badges

earned this badge 6 times.

How do real-world proof assistants bind variables and check equality?

Awarded Jun 7 at 11:49

Uses of first-class implicit function types

Awarded May 17, 2023 at 19:16

Universe inconsistency as an effect

Awarded Apr 27, 2023 at 0:51

Categorical semantics of Agda

Awarded Dec 12, 2022 at 4:43

Tutorial implementations of NbE

Awarded Mar 17, 2022 at 15:42

Rules for mutual inductive/coinductive types

Awarded Mar 12, 2022 at 15:40

Others with this badge