As of May 31, 2023, we have updated our Code of Conduct.
Academia
Agnishom Chattopadhyay's user avatar
Agnishom Chattopadhyay's user avatar
Agnishom Chattopadhyay's user avatar
Agnishom Chattopadhyay
  • Member for 4 years, 5 months
  • Last seen more than a week ago
Profile Activity
Stats
131
reputation
0
reached
1
answer
0
questions
Communities
View all
About

Words which describe me do not exist!

Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
4
bronze badges
Top tags
3
Score
1
Posts
100
Posts %
3
Score
1
Posts
100
Posts %
Top posts
All Questions Answers
Score Newest
answer
3
Is it appropriate to ignore emails from a student asking obvious questions?
Dec 13, 2022
Top network posts
View all network posts
124
Counterintuitive examples in probability
57
Can you have your lunch at your work-desk in France?
30
Proof assistants for beginners - a comparison
27
Contradictory Behaviour of Lambda Functions
19
Which programming languages are most similar to proof assistants?

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.