Skip to main content
Proof Assistants Beta
Eric's user avatar
Eric's user avatar
Eric's user avatar
Eric
Moderator
  • Member for 2 years, 5 months
  • Last seen more than a month ago
Profile Activity
Stats
971
reputation
6k
reached
12
answers
0
questions
Communities
View all
About

Roboticist, engineer, and web developer

Part of the NumPy development team

Badges
View all badges
1
gold badge
3
silver badges
19
bronze badges
Top tags
View all tags
73
Score
10
Posts
83
Posts %
36
Score
5
Posts
42
Posts %
26
Score
4
Posts
33
Posts %
20
Score
2
Posts
17
Posts %
17
Score
4
Posts
33
Posts %
9
Score
1
Posts
8
Posts %
Top posts
View all questions and answers
11
Strong induction on ℕ with function α → ℕ
Mar 17, 2022
10
Like arbitrary, but for nonempty instead of inhabited
Mar 28, 2022
9
How usable is Lean for constructive mathematics?
Mar 21, 2022
9
What is the difference between refl and rfl in Lean 3?
Feb 12, 2022
9
Preserve equality with match expression
Feb 14, 2022
8
Explicit vs implicit universes in lean
Feb 24, 2022
7
What is a commuting conversion and why are they problematic?
Apr 3, 2022
5
How to define a recursive sequence in Lean?
Feb 12, 2022
4
Define a new Type in Lean: Tensor power of vector space
May 24, 2022
4
How to show that an expression of a finite type must be one of the finitely many possible values?
Mar 3, 2023
Top Meta posts
1
1
9
Enabling syntax highlighting of Lean and Coq
Top network posts
View all network posts
258
Multiple inputs with same name through POST in php
188
Can I restore deleted files (undo a `git clean -fdx`)?
164
How to create an error 404 page using PHP?
118
JavaScript triple greater than
113
calling .each{} on IntRange returns the range not each integer