Skip to main content
Proof Assistants Beta
Eric's user avatar
Eric's user avatar
Eric's user avatar
Eric
  • Member for 3 years, 11 months
  • Last seen more than a month ago
Profile Activity

Stats

991
reputation
11k
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
4
silver badges
21
bronze badges

Top tags

View all tags
75
Score
11
Posts
92
Posts %
37
Score
5
Posts
42
Posts %
27
Score
4
Posts
33
Posts %
20
Score
2
Posts
17
Posts %
10
Score
1
Posts
8
Posts %
9
Score
1
Posts
8
Posts %

Top posts

View all questions and answers
11
Strong induction on ℕ with function α → ℕ
Mar 17, 2022
10
How usable is Lean for constructive mathematics?
Mar 21, 2022
10
Like arbitrary, but for nonempty instead of inhabited
Mar 28, 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
9
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
198
Can I restore deleted files (undo a `git clean -fdx`)?
170
How to create an error 404 page using PHP?
119
JavaScript triple greater than
114
calling .each{} on IntRange returns the range not each integer