Public nonprofit record
INTERACTIVE THEOREM PROVING INC
EIN 83-4089866 · Computer Science (U41)
What they do
INTERACTIVE THEOREM PROVING INC
About this charity
- Recognized since
- January 2020
- Location
- 2537 NE 25TH AVE, PORTLAND, OR 97212-4839
- County
- Multnomah
- In care of
- % JOHN W OLEARY
- Primary officer
- John O'Leary
How to reach them
Contact information was not available in this public record.
Filing and classification
- Latest tax year
- 2024
- Tax period began
- January 1, 2023
- NTEE classification
- Computer Science (U41)
- IRS tax category
- Computer Science
More public IRS record details
These are classification codes from the organization’s public nonprofit record.
- Subsection
- 03
- Affiliation
- 3
- Classification
- 2800
- Deductibility
- 1
- Foundation
- 16
- Organization
- 1