Proof Assistants Beta
user avatar
user avatar
user avatar
Li-yao Xia
  • Member for 4 months
  • Last seen this week
Profile Activity
Stats
1,117
reputation
2k
reached
14
answers
0
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
3
silver badges
11
bronze badges
Top tags
View all tags
30
Score
7
Posts
50
Posts %
25
Score
2
Posts
14
Posts %
17
Score
1
Posts
7
Posts %
10
Score
2
Posts
14
Posts %
10
Score
1
Posts
7
Posts %
8
Score
1
Posts
7
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
17
Could proof assistants be used to prove that some piece of code is free of bugs?
Feb 8
answer
10
Expressivity of mutual/nested inductives vs. regular inductives
Mar 1
answer
8
Proof Assistants for Vim Users
Feb 8
answer
8
Is internal parametricity useful in theorem proving?
Feb 9
answer
6
How do you import part of the standard library in Coq?
Feb 14
answer
6
How do Coq's bidirectionality hints (`&`) affect type checking?
May 24
answer
6
Does ST$\lambda$C equal to simple type theory?
May 28
answer
5
Counting in two ways
Jun 2
answer
5
Form of intros in Coq specifically for `forall` and explicitly for `->`
Feb 27
answer
4
Coq: Recursive Smart Constructors and Sigma types, how to avoid axioms
Mar 14
Top network posts
View all network posts
23
Polymorphism inside monads
21
Why do nested MaybeT's cause exponential allocation
19
Stack's package.yaml vs stack.yaml
18
How to Factorize Continuation Monad into Left & Right Adjoints?
17
How can I dynamically allocate cyclic data?

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.