Skip to main content
Proof Assistants Beta
Jason Orendorff's user avatar
Jason Orendorff's user avatar
Jason Orendorff's user avatar
Jason Orendorff
  • Member for 2 years, 4 months
  • Last seen more than a month ago
Profile Activity
Stats
181
reputation
990
reached
0
answers
1
question
Communities
View all
Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
2
bronze badges
Top tags
0
Score
1
Posts
100
Posts %
Top posts
8
Where is the syntax of Lean 4 documented?
Jul 13, 2023
Top network posts
View all network posts
1667
Repeat a string in JavaScript a number of times
287
How does C compute sin() and other math functions?
114
How can I "zip sort" parallel numpy arrays?
109
Does Rust have support for functions that return multiple values?
74
aws ecr saying "Cannot perform an interactive login from a non TTY device" after copied cmd from "Amazon Container Services"