Mathematics
GraffL's user avatar
GraffL's user avatar
GraffL's user avatar
GraffL
  • Member for 2 years
  • Last seen this week
Profile Activity
Stats
450
reputation
1k
reached
17
answers
0
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
2
silver badges
7
bronze badges
Top tags
View all tags
6
Score
2
Posts
12
Posts %
6
Score
1
Posts
6
Posts %
6
Score
1
Posts
6
Posts %
4
Score
5
Posts
29
Posts %
2
Score
2
Posts
12
Posts %
2
Score
2
Posts
12
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
6
Conflicting Definition for Separated Sets
Sep 9
answer
3
Predicate Logic - Difference between two english translated predicate statements
Feb 12, 2022
answer
2
Recursive relation to find a sequence $T_n$
Feb 12, 2022
answer
2
Understanding an intersection-union for a specific set
Feb 14, 2022
answer
2
Biconnectivity of two subgraphs
Apr 22
answer
1
Prove $A\cap (B\cup C) \subseteq (A\cap B) \cup C$
Nov 26, 2021
answer
1
$\mathbb{R}^2, \mathbb{R}^3$ matrix/canonical basis
Jan 24, 2022
answer
1
How can I find all solution of this equation on $C$?
Feb 16, 2022
answer
1
Prove that $\chi(G) \leq n$ just when there is a homomorphism from the graph $G$ to $K_n$
Feb 21, 2022
answer
1
Number of vertices shared by simple cycles in directed graph
Aug 7, 2022
Top network posts
View all network posts
23
Tutorials for formalizing mathematical definitions/statements in Lean
13
How to speed up Lean?

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.