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

Hello! You'll probably see me around the section the most, but I might go to some other places sometimes. Hope you have a nice day!

Badges
View all badges
This user doesn’t have any gold badges yet.
5
silver badges
19
bronze badges
Top tags
View all tags
59
Score
5
Posts
56
Posts %
35
Score
1
Posts
11
Posts %
35
Score
1
Posts
11
Posts %
35
Score
1
Posts
11
Posts %
22
Score
2
Posts
22
Posts %
18
Score
1
Posts
11
Posts %
Top posts
All Questions Answers
Score Newest
answer
35
What will happen to mathlib when we transition to Lean 4?
Feb 10, 2022
question
24
Why is cumulativity not a given in proof assistants?
Feb 19, 2022
answer
18
What is the difference between refl and rfl in Lean 3?
Feb 12, 2022
answer
16
What's the "Hello, World!" for proof assistants?
Feb 8, 2022
question
15
What is known about the consistency of proof assistant metatheories?
Mar 2, 2022
answer
14
Is there a way to automatically translate proofs from one proof assistant to another?
Feb 9, 2022
answer
4
How to prove in Lean that sums are distributive?
Apr 29, 2022
answer
2
In lean, why is it possible to prove zero_ne_succ (without adding it as an axiom) by using pattern matching?
Aug 21, 2022
answer
0
Can Lean simp arguments be ordered?
Feb 14, 2022
Top network posts
View all network posts
251
Is Task.Result the same as .GetAwaiter.GetResult()?
146
Why are Where and Select outperforming just Select?
102
What are regular expression Balancing Groups?
85
Can I declare / use some variable in LINQ? Or can I write following LINQ clearer?
67
Multiple optional parameters calling function

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.