answer

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

Matthew McQuaid

Member for 2 years, 5 months
Last seen this week

Stats

376

reputation

1k

reached

4

answers

0

questions

Loading…

Communities

Proof Assistants

376

Badges

View all badges

This user doesn’t have any gold badges yet.

3

silver badges

Enthusiast

Apr 1, 2022
Enlightened

Jul 9
Yearling

Feb 9, 2023

7

bronze badges

Critic

Feb 27, 2022
Caucus

Apr 18
Nice Answer

× 2

Jul 9

Top tags

View all tags

type-theory

17

Score

2

Posts

50

Posts %

universe

11

Score

1

Posts

25

Posts %

normalization

10

Score

1

Posts

25

Posts %

implementation

10

Score

1

Posts

25

Posts %

normal-form

10

Score

1

Posts

25

Posts %

implicit-argument

6

Score

1

Posts

25

Posts %