Proof Assistants Beta
Cheery's user avatar
Cheery's user avatar
Cheery's user avatar
Cheery
  • Member for 1 year, 10 months
  • Last seen more than a month ago
Profile Activity
Stats
681
reputation
1k
reached
3
answers
5
questions
Communities
View all
About
A programmer hobbyist.
Badges
View all badges
This user doesn’t have any gold badges yet.
4
silver badges
14
bronze badges
Top tags
View all tags
3
Score
3
Posts
38
Posts %
3
Score
1
Posts
12
Posts %
3
Score
1
Posts
12
Posts %
3
Score
1
Posts
12
Posts %
3
Score
1
Posts
12
Posts %
3
Score
1
Posts
12
Posts %
Top posts
All Questions Answers
Score Newest
question
15
Can theorem provers be used to form foundations for programming languages?
Feb 9, 2022
question
11
In the "Simply Easy!" paper, why is it safe to evaluate types in the empty environment?
Feb 10, 2022
question
11
Easy ways to introduce inductive types
Mar 8, 2022
question
8
Implementation details of implicit arguments
Feb 14, 2022
question
5
How to elaborate with dependent records present?
Feb 28, 2022
answer
3
Proof assistants with dynamic scope/local instances/etc.?
Feb 11, 2022
answer
3
Defining Lists and Prove Associativity of Append
Feb 16, 2022
answer
0
What makes a proof assistant a proof assistant?
Feb 10, 2022
Top network posts
View all network posts
1093
How to retrieve a module's path?
162
Why can't C++ be parsed with a LR(1) parser?
146
Can comments be used in JSON?
62
How can I get all rows with keys provided in a list using SQLalchemy?
43
OpenGL without X.org in linux

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.