Skip to main content
Proof Assistants Beta
It'sNotALie.'s user avatar
It'sNotALie.'s user avatar
It'sNotALie.'s user avatar
It'sNotALie.
  • Member for 2 years, 5 months
  • Last seen more than a month ago
Profile Activity
Stats
1,445
reputation
7k
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.
6
silver badges
19
bronze badges
Top tags
View all tags
60
Score
5
Posts
56
Posts %
36
Score
1
Posts
11
Posts %
36
Score
1
Posts
11
Posts %
36
Score
1
Posts
11
Posts %
22
Score
2
Posts
22
Posts %
18
Score
1
Posts
11
Posts %
Top posts
36
What will happen to mathlib when we transition to Lean 4?
Feb 10, 2022
24
Why is cumulativity not a given in proof assistants?
Feb 19, 2022
18
What is the difference between refl and rfl in Lean 3?
Feb 12, 2022
16
What's the "Hello, World!" for proof assistants?
Feb 8, 2022
15
What is known about the consistency of proof assistant metatheories?
Mar 2, 2022
14
Is there a way to automatically translate proofs from one proof assistant to another?
Feb 9, 2022
4
How to prove in Lean that sums are distributive?
Apr 29, 2022
2
In Lean, why is it possible to prove $\text{succ}\; x \neq 0$ without adding it as an axiom?
Aug 21, 2022
0
Can Lean simp arguments be ordered?
Feb 14, 2022
Top network posts
View all network posts
253
Is Task.Result the same as .GetAwaiter.GetResult()?
146
Why are Where and Select outperforming just Select?
104
What are regular expression Balancing Groups?
85
Can I declare / use some variable in LINQ? Or can I write following LINQ clearer?
72
"Current thread must be set to single thread apartment (STA)" error in copy string to clipboard