User Ronald J. Zallman - Proof Assistants Meta Stack Exchange

1. Home
2. Questions
3. Tags
5. Users
6. Unanswered
Teams

Now available on Stack Overflow for Teams! AI features where you work: search, IDE, and chat.
Learn more Explore Teams
Teams
Ask questions, find answers and collaborate at work with Stack Overflow for Teams. Explore Teams

This account is temporarily suspended. The suspension period ends on Feb 20, 2025 at 16:47.

Ronald J. Zallman

Member for 2 years
Last seen more than a month ago

GitHub
topologic.net
New York, NY

Stats

1

reputation

0

reached

0

answers

0

questions

Communities

About

Just a Rabbi tryin to get by

Badges

This user doesn’t have any gold badges yet.

1

silver badge

Yearling

Oct 3, 2023

1

bronze badge

Autobiographer

Aug 8, 2023

Posts

This user hasn’t posted yet.

Top network posts

View all network posts

45

Why do octaves sound equivalent?

9

Figures on computer proof assistant usage

8

How does a cell distinguish left from right?