Skip to main content
Proof Assistants Beta
Dima Pasechnik's user avatar
Dima Pasechnik's user avatar
Dima Pasechnik's user avatar
Dima Pasechnik
  • Member for 2 years, 5 months
  • Last seen more than a month ago
Profile Activity
Stats
480
reputation
2k
reached
4
answers
1
question
Communities
View all
About

My official homepage. Despite the name, I am a citizen of The Netherlands, and this is the only citizenship I hold since 1999.

Badges
View all badges
This user doesn’t have any gold badges yet.
4
silver badges
12
bronze badges
Top tags
View all tags
7
Score
1
Posts
20
Posts %
7
Score
1
Posts
20
Posts %
6
Score
1
Posts
20
Posts %
5
Score
1
Posts
20
Posts %
5
Score
1
Posts
20
Posts %
4
Score
2
Posts
40
Posts %
Top posts
13
verifying combinatorial constructions - choice of a proof assistant
Feb 14, 2022
7
What are the pros and cons of continuous checking over keychord-triggered checking?
Feb 20, 2022
6
Can we use Proof Assistants beyond mathematics?
Feb 11, 2022
5
What are some examples of proof assistants doing something useful?
Feb 12, 2022
4
Have the common algorithms in existing computer-assisted proofs been transitioned to proof assistants?
Feb 17, 2022
Top network posts
View all network posts
50
Can all convex optimization problems be solved in polynomial time using interior-point algorithms?
35
Theorems that impeded progress
27
Does there exist a complete implementation of the Risch algorithm?
20
Can you efficiently solve a system of quadratic multivariate polynomials?
19
Advanced software for OEIS?