NearSpotUSA Add

Categories Locations Saved Add Sign in

Find local businesses in every city and ZIP code across the United States.

Explore

All categories
Browse by state
Search listings
About / data sources

For businesses

Add your business
My listings
Business admin

Your account

Sign in
Saved places
Account

Business data from Overture Maps Foundation (CDLA-Permissive 2.0), the IRS Exempt Organizations BMF (public domain), and OpenStreetMap (© OpenStreetMap contributors, ODbL) — which also provides the map tiles. ZIP code and city data from GeoNames (CC BY 4.0).

© 2026 NearSpotUSA.

Interactive Theorem Proving Inc — Portland, OR | NearSpotUSA

Home/Non-Profits & Charities/Portland/97212

Interactive Theorem Proving Inc

Non-Profits & Charities · Portland, OR

No reviews yet

Reviews

Sign in to write a review.

No reviews yet — be the first to share your experience.

Contact

2537 Ne 25Th Ave, Portland, OR 97212

Location

All listings in Portland
All listings in 97212
All non-profits & charities

Is this your business? Claim or update this listing.

More non-profits & charities nearby

The Children's Book Bank

Non-Profits & Charities · Portland, OR

Not yet reviewed

1915 NE 7th Ave, 97212

+15036163981 smartreading.org

Community for Positive Aging (formerly Hollywood Senior Center)

Non-Profits & Charities · Portland, OR

Not yet reviewed

1820 NE 40th Ave, 97212

+15032888303 communityfpa.org

Stephen R Beck, Pc

Non-Profits & Charities · Portland, OR

Not yet reviewed

3939 NE Hancock St, 97212

15032808904 stephenrbeckpc.com

Meso

Non-Profits & Charities · Portland, OR

Not yet reviewed

4008 NE M L King Blvd, 97212

+15038413351 www.mesopdx.org

Portland Chamber Music

Non-Profits & Charities · Portland, OR

Not yet reviewed

3519 NE 15th Ave PMB 239, 97212

+15038409185 portlandchambermusic.org

Wisdom Of The Elders Inc

Non-Profits & Charities · Portland, OR

Not yet reviewed

3917 NE Shaver St, 97212

15037754014 www.wisdomoftheelders.org