Skip to main content
Proof Assistants Meta
Agnishom Chattopadhyay's user avatar
Agnishom Chattopadhyay's user avatar
Agnishom Chattopadhyay's user avatar
Agnishom Chattopadhyay
  • Member for 2 years, 5 months
  • Last seen more than a month ago
Profile Activity
Stats
1,502
reputation
0
reached
0
answers
0
questions
Communities
View all
About

Words which describe me do not exist!

Badges
View all badges
This user doesn’t have any gold badges yet.
2
silver badges
2
bronze badges
Posts

This user hasn’t posted yet.

Top network posts
View all network posts
126
Counterintuitive examples in probability
57
Can you have your lunch at your work-desk in France?
40
Proof assistants for beginners - a comparison
27
Contradictory Behaviour of Lambda Functions
19
Which programming languages are most similar to proof assistants?