Proof Assistants Beta
Agnishom Chattopadhyay's user avatar
Agnishom Chattopadhyay's user avatar
Agnishom Chattopadhyay's user avatar
Agnishom Chattopadhyay
  • Member for 1 year, 3 months
  • Last seen more than a week ago
Profile Activity
Stats
1,169
reputation
4k
reached
3
answers
9
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.
5
silver badges
17
bronze badges
Top tags
View all tags
49
Score
2
Posts
17
Posts %
34
Score
3
Posts
25
Posts %
30
Score
1
Posts
8
Posts %
30
Score
1
Posts
8
Posts %
4
Score
2
Posts
17
Posts %
0
Score
6
Posts
50
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
30
Proof assistants for beginners - a comparison
Feb 8, 2022
answer
19
Which programming languages are most similar to proof assistants?
Feb 8, 2022
question
18
When to use coinductive types?
Feb 9, 2022
question
14
Proof Assistants with support for creating executable software artifacts
Feb 8, 2022
question
6
What are some good resources for Proof Assistant based exercises/puzzles for recreation and practice?
Jun 27, 2022
question
5
Why can't I use let bindings to pattern match a 3-tuple in Coq?
Apr 2
answer
4
What mathematical topics should I learn first before I start using proof assistants?
Feb 14, 2022
question
3
Proof by Exhaustive Computation for small initial segment of natural numbers (in Coq)
Jul 12, 2022
question
2
In Coq, is there a simpler tactic for introducing a disjunction and immediately destructing it?
Jan 24
question
1
How to prove this correctness principle of transposition of lists of lists in Coq?
Apr 17
Top network posts
View all network posts
124
Counterintuitive examples in probability
57
Can you have your lunch at your work-desk in France?
27
Contradictory Behaviour of Lambda Functions
16
There are polygons with only right angles which have an odd number of corners
14
Relation between `<*>` and `<$>`

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.