Proof Assistants Beta
Agnishom Chattopadhyay's user avatar
Agnishom Chattopadhyay's user avatar
Agnishom Chattopadhyay's user avatar
Agnishom Chattopadhyay
  • Member for 1 year, 9 months
  • Last seen this week
Profile Activity
Stats
1,241
reputation
8k
reached
3
answers
12
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
53
Score
2
Posts
13
Posts %
38
Score
3
Posts
20
Posts %
34
Score
1
Posts
7
Posts %
4
Score
2
Posts
13
Posts %
0
Score
9
Posts
60
Posts %
0
Score
2
Posts
13
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
34
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
126
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.