Skip to main content
Proof Assistants Meta
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 week ago
Profile Activity
Stats
971
reputation
194
reached
1
answer
1
question
Communities
View all
About

Roboticist, engineer, and web developer

Part of the NumPy development team

Badges
View all badges
This user doesn’t have any gold badges yet.
2
silver badges
8
bronze badges
Top tags
2
Score
2
Posts
100
Posts %
2
Score
2
Posts
100
Posts %
2
Score
2
Posts
100
Posts %
2
Score
2
Posts
100
Posts %
Top posts
9
Enabling syntax highlighting of Lean and Coq
Mar 22, 2022
2
Enabling syntax highlighting of Lean and Coq
May 6, 2022
Top network posts
View all network posts
258
Multiple inputs with same name through POST in php
190
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