Academia
Agnishom Chattopadhyay's user avatar
Agnishom Chattopadhyay's user avatar
Agnishom Chattopadhyay's user avatar
Agnishom Chattopadhyay
  • Member for 4 years, 11 months
  • Last seen more than a week ago
Profile Activity
Stats
169
reputation
0
reached
2
answers
0
questions
Communities
View all
About

Words which describe me do not exist!

Badges
This user doesn’t have any gold badges yet.
1
silver badge
5
bronze badges
Top tags
4
Score
1
Posts
50
Posts %
4
Score
1
Posts
50
Posts %
3
Score
1
Posts
50
Posts %
3
Score
1
Posts
50
Posts %
Top posts
All Questions Answers
Score Newest
answer
4
Oral exams in mathematics at university
Sep 15
answer
3
Is it appropriate to ignore emails from a student asking obvious questions?
Dec 13, 2022
Top network posts
View all network posts
126
Counterintuitive examples in probability
57
Can you have your lunch at your work-desk in France?
34
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.