User James Deikun - Proof Assistants Stack Exchange

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

Ask questions, find answers and collaborate at work with Stack Overflow for Teams.
Try Teams for free Explore Teams
Teams
Ask questions, find answers and collaborate at work with Stack Overflow for Teams. Explore Teams

James Deikun

Member for 2 years, 2 months
Last seen more than 1 year ago

Network profile

Stats

31

reputation

517

reached

1

answer

0

questions

Communities

Proof Assistants

31

Badges

This user doesn’t have any gold badges yet.

This user doesn’t have any silver badges yet.

3

bronze badges

Informed

Sep 18, 2022
Teacher

Sep 19, 2022
Editor

Sep 19, 2022

Top tags

dependent-type

3

Score

1

Posts

100

Posts %

type-theory

3

Score

1

Posts

100

Posts %

Top posts

3

Very dependent functions

Sep 19, 2022