Proof Assistants Beta
Nike Dattani's user avatar
Nike Dattani's user avatar
Nike Dattani's user avatar
Nike Dattani
  • Member for 1 year, 9 months
  • Last seen more than a month ago
Profile Activity
Stats
1,165
reputation
5k
reached
6
answers
2
questions
Communities
View all
About

Managing Director of HPQC Labs.

Badges
View all badges
This user doesn’t have any gold badges yet.
12
silver badges
29
bronze badges
Top tags
View all tags
28
Score
1
Posts
12
Posts %
26
Score
1
Posts
12
Posts %
13
Score
2
Posts
25
Posts %
13
Score
1
Posts
12
Posts %
13
Score
1
Posts
12
Posts %
11
Score
1
Posts
12
Posts %
Top posts
All Questions Answers
Score Newest
answer
28
What's the "Hello, World!" for proof assistants?
Feb 8, 2022
answer
26
What are some examples of proof assistants doing something useful?
Feb 8, 2022
question
25
High-performance proof assistants
Feb 8, 2022
answer
13
Successes of machine learning in formal theorem proving
Feb 11, 2022
answer
11
What is a Proof Assistant?
Feb 8, 2022
answer
7
Why haven't all of the "hundred greatest theorems" been formalized yet?
Feb 9, 2022
question
7
Is any theorem prover able to prove quadratization relations without knowing the proof strategy that humans used?
Mar 28, 2022
answer
6
Tools to check correctness of decimal floating point arithmetic
Feb 9, 2022
Top Meta posts
3
12
12
Syntax highlighting for proof assistants
12
How are we doing in beta?
10
Policy on self-answers
6
Is it possible to transfer my questions from other SE sites?
6
Not correct to say that lean community is mostly mathematicians
Top network posts
View all network posts
83
Did the 2019 discovery of O(N log(N)) multiplication have a practical outcome?
58
New Feature: Table Support
58
DeepMind just announced a breakthrough in protein folding, what are the consequences?
57
Is there a database where we can find previously determined geometries of materials?
53
Is quantum computing just pie in the sky?

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.