Skip to main content
Proof Assistants Beta
tom's user avatar
tom's user avatar
tom's user avatar
tom
  • Member for 2 years, 5 months
  • Last seen this week
Profile Activity
Stats
221
reputation
2k
reached
3
answers
0
questions
Communities
View all
About

Interested in mathematical computing, fluid dynamic, computer graphics.

Badges
This user doesn’t have any gold badges yet.
1
silver badge
6
bronze badges
Top tags
View all tags
5
Score
1
Posts
33
Posts %
5
Score
1
Posts
33
Posts %
4
Score
1
Posts
33
Posts %
4
Score
1
Posts
33
Posts %
4
Score
1
Posts
33
Posts %
4
Score
1
Posts
33
Posts %
Top posts
5
Using proof assistants to generate fast code
Sep 11, 2022
4
Learning materials for doing analysis (calculus) in a mechanized way
Sep 4, 2022
3
How does Lean `simp` tactic work?
Oct 11, 2023
Top network posts
View all network posts
50
What software can draw pictures like this?
33
When does $x_1+x_2+\dots+x_n=a,\space x_1^2+x_2^2+\dots+x_n^2=b$ have a unique solution?
30
How should I write leaving a PhD program after 6 years on the CV?
29
Decomposable elements of $\Lambda^k(V)$
27
template parameter packs access Nth type and Nth element