Skip to main content
Proof Assistants Beta
Dustin G. Mixon's user avatar
Dustin G. Mixon's user avatar
Dustin G. Mixon's user avatar
Dustin G. Mixon
  • Member for 2 years, 10 months
  • Last seen more than a month ago
Profile Activity
Stats
981
reputation
3k
reached
0
answers
4
questions
Communities
View all
About

Interested in the mathematics of signal processing and data science.

Badges
View all badges
This user doesn’t have any gold badges yet.
4
silver badges
10
bronze badges
Top tags
View all tags
0
Score
3
Posts
75
Posts %
0
Score
2
Posts
50
Posts %
0
Score
1
Posts
25
Posts %
0
Score
1
Posts
25
Posts %
0
Score
1
Posts
25
Posts %
0
Score
1
Posts
25
Posts %
Top posts
question
32
What will happen to mathlib when we transition to Lean 4?
Feb 10, 2022
question
24
Why haven't all of the "hundred greatest theorems" been formalized yet?
Feb 8, 2022
question
23
To what extent is formalized mathematics publishable?
Mar 4, 2022
question
8
Have the common algorithms in existing computer-assisted proofs been transitioned to proof assistants?
Feb 17, 2022
Top network posts
View all network posts
139
Mathematical games interesting to both you and a 5+-year-old child
61
What does it mean to suspect that two conjectures are logically equivalent?
45
What kid-friendly math riddles are too often spoiled for mathematicians?
35
Counterintuitive consequences of the Axiom of Determinacy?
33
Write a program that sees the New Year in itself