Proof Assistants Beta
Eric's user avatar
Eric's user avatar
Eric's user avatar
Eric
Moderator
  • Member for 1 year, 9 months
  • Last seen this week
Profile Activity
Stats
941
reputation
5k
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
2
silver badges
18
bronze badges
Top tags
View all tags
71
Score
10
Posts
83
Posts %
35
Score
5
Posts
42
Posts %
26
Score
4
Posts
33
Posts %
19
Score
2
Posts
17
Posts %
17
Score
4
Posts
33
Posts %
9
Score
1
Posts
8
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
9
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
181
Can I restore deleted files (undo a `git clean -fdx`)?
162
How to create an error 404 page using PHP?
117
JavaScript triple greater than
112
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.