Agnishom Chattopadhyay

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

GitHub
mathisfunforum.com/…
Houston, TX, USA

Summary

Reputation

2,312

Next tag badge

0/100 score

0/20 answers

Badges

8

4

Newest

Yearling

Next badge

0/1

Excavator

Questions

Score Activity Newest Views

0

Is it a bad thing to give more than one example in a [big-list] question?

Feb 12, 2017

Answers

Score Activity Newest

This user has not answered any questions

Badges

View all badges

This user doesn’t have any gold badges yet.

8

silver badges

Yearling

× 8

Feb 24

4

bronze badges

Tumbleweed

Feb 19, 2017
Student

Apr 22, 2020
Supporter

Apr 13, 2017

Tags

policy

0

Score

1

post

discussion

0

Score

1

post

Accounts

View all 45 accounts

2,312
1
13
22

1,991
15
32

Proof Assistants

1,241
5
17

651
1
5
8

493
3
13

Votes cast

4

upvotes

1

question vote

3

answer votes