Skip to main content
Proof Assistants Beta
This account is temporarily suspended network-wide. The suspension period ends on Feb 20, 2025 at 16:47.
Ronald J. Zallman's user avatar
Ronald J. Zallman's user avatar
Ronald J. Zallman's user avatar
Ronald J. Zallman
  • Member for 2 years
  • Last seen more than a month ago
Profile Activity
Stats
1
reputation
5k
reached
0
answers
12
questions
Communities
View all
About

Just a Rabbi tryin to get by

Badges
View all badges
This user doesn’t have any gold badges yet.
1
silver badge
11
bronze badges
Top tags
View all tags
0
Score
8
Posts
67
Posts %
0
Score
3
Posts
25
Posts %
0
Score
2
Posts
17
Posts %
0
Score
1
Posts
8
Posts %
0
Score
1
Posts
8
Posts %
0
Score
1
Posts
8
Posts %
Top posts
View all questions and answers
question
8
Figures on computer proof assistant usage
Nov 10, 2022
question
4
Making a finite graph type in Lean - introduction rule
Sep 2, 2022
question
3
Equality type and Propositions
Sep 7, 2022
question
3
Dependent Equality
Aug 4, 2023
question
3
Dependent replacement in Lean
Aug 6, 2023
question
3
Getting an element of a list in Lean
Oct 23, 2022
question
2
Setting up Lean 4 on a server
Jan 29, 2023
question
1
Inductive types associated to instances of a structure in Lean
Sep 3, 2022
question
1
Coproducts in Lean
Sep 6, 2022
question
1
Suppressing notation in Lean
Sep 7, 2022
Top network posts
View all network posts
45
Why do octaves sound equivalent?
8
How does a cell distinguish left from right?