Proof Assistants Beta
Eric's user avatar
Eric's user avatar
Eric's user avatar
Eric
Moderator
  • Member for 1 year, 7 months
  • Last seen more than a week ago
Profile Activity
Stats
931
reputation
4k
reached
11
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
2
silver badges
17
bronze badges
Top tags
View all tags
70
Score
10
Posts
91
Posts %
35
Score
5
Posts
45
Posts %
26
Score
4
Posts
36
Posts %
19
Score
2
Posts
18
Posts %
16
Score
3
Posts
27
Posts %
9
Score
1
Posts
9
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
10
Strong induction on ℕ with function α → ℕ
Mar 17, 2022
answer
10
Like arbitrary, but for nonempty instead of inhabited
Mar 28, 2022
answer
9
How usable is Lean for constructive mathematics?
Mar 21, 2022
answer
9
What is the difference between refl and rfl in Lean 3?
Feb 12, 2022
answer
8
Preserve equality with match expression
Feb 14, 2022
answer
8
Explicit vs implicit universes in lean
Feb 24, 2022
answer
6
What is a commuting conversion and why are they problematic?
Apr 3, 2022
answer
4
Define a new Type in Lean: Tensor power of vector space
May 24, 2022
answer
4
How to show that an expression of a finite type must be one of the finitely many possible values?
Mar 3
answer
4
Differential Topology and Differential Geometry Porting to Mathlib4
Jun 14
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
178
Can I restore deleted files (undo a `git clean -fdx`)?
159
How to create an error 404 page using PHP?
117
JavaScript triple greater than
111
calling .each{} on IntRange returns the range not each integer

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.