Skip to main content
Proof Assistants Beta
Agnishom Chattopadhyay's user avatar
Agnishom Chattopadhyay's user avatar
Agnishom Chattopadhyay's user avatar
Agnishom Chattopadhyay
  • Member for 2 years, 4 months
  • Last seen this week
Profile Activity
Stats
1,502
reputation
13k
reached
5
answers
18
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.
6
silver badges
20
bronze badges
Top tags
View all tags
59
Score
2
Posts
9
Posts %
44
Score
3
Posts
13
Posts %
43
Score
2
Posts
9
Posts %
4
Score
2
Posts
9
Posts %
3
Score
5
Posts
22
Posts %
0
Score
14
Posts
61
Posts %
Top posts
View all questions and answers
40
Proof assistants for beginners - a comparison
Feb 8, 2022
19
Which programming languages are most similar to proof assistants?
Feb 8, 2022
18
When to use coinductive types?
Feb 9, 2022
14
Proof Assistants with support for creating executable software artifacts
Feb 8, 2022
6
What are some good resources for Proof Assistant based exercises/puzzles for recreation and practice?
Jun 27, 2022
5
Why can't I use let bindings to pattern match a 3-tuple in Coq?
Apr 2, 2023
4
What mathematical topics should I learn first before I start using proof assistants?
Feb 14, 2022
3
Using Coq after installation
Apr 25
3
Extracting Coq Lists to Lazy OCaml Lists?
May 7
3
In Coq, is there a simpler tactic for introducing a disjunction and immediately destructing it?
Jan 24, 2023
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
17
There are polygons with only right angles which have an odd number of corners
14
Relation between `<*>` and `<$>`