Skeptics
Agnishom Chattopadhyay's user avatar
Agnishom Chattopadhyay's user avatar
Agnishom Chattopadhyay's user avatar
Agnishom Chattopadhyay
  • Member for 10 years, 2 months
  • Last seen more than a month ago
Profile Activity
Stats
651
reputation
14k
reached
0
answers
1
question
Communities
View all
About

Words which describe me do not exist!

Badges
View all badges
1
gold badge
5
silver badges
8
bronze badges
Top tags
0
Score
1
Posts
100
Posts %
0
Score
1
Posts
100
Posts %
0
Score
1
Posts
100
Posts %
Top posts
All Questions Answers
Score Newest
question
57
Can you have your lunch at your work-desk in France?
Jun 27, 2022
Top network posts
View all network posts
126
Counterintuitive examples in probability
34
Proof assistants for beginners - a comparison
27
Contradictory Behaviour of Lambda Functions
19
Which programming languages are most similar to proof assistants?
18
When to use coinductive types?

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.