Interactive Theorem Proving Inc in Portland, Oregon (OR)

Employer Identification Number (EIN)	83-4089866
Name of Organization	Interactive Theorem Proving Inc
In Care of Name	John W Oleary
Address	2537 Ne 25th Ave, Portland, OR 97212-4839
Subsection(s) / Classification	Educational Organization Scientific Organization
Affiliation	Independent
Ruling Date	08/2020
Deductibility	Contributions are deductible
Foundation	Organization that normally receives no more than one third of its support from gross investment income and unrelated business income and at the same time more than one third of its support from contributions, fees, and gross receipts related to exempt purposes
Organization	Corporation
Exempt Organization Status	Unconditional Exemption
Tax Period	12/2024
Asset	$0
Income	$0
Filing Requirement	990 - Required to file Form 990-N - Income less than $25,000 per year
Accounting Period	December (12)
Asset Amount	$0
Income Amount	$0
Form 990 Revenue Amount	$0
National Taxonomy of Exempt Entities (NTEE)	Science and Technology Research Institutes, Services: Computer Science

Data from form 990N

EIN	83-4089866
Name	Interactive Theorem Proving Inc
Tax period	2024 (01/01/2024 - 12/31/2024)
Mailing Address	2537 NE 25TH AVE Portland, OR 97212 United States
Principal Officer's Name and Address	John O'Leary 2537 NE 25TH AVE Portland, OR 97212 United States
Organization has terminated	No

Human-ai Standard Foundation	Belding	MI
Ai Standards Lab Inc	Canada
Ignited Tech	Portland	OR
Information Security Collective	Beaverton	OR
All Computers Are Brilliant Inc	Portland	OR
Ikigai Project	Medford	OR
Florida Institute For Human And Machine Cognition	Pensacola	FL
Software Freedom Conservancy Inc	Brooklyn	NY
Apache Software Foundation	Wilmington	DE
Open Information Security Foundation Inc	Lafayette	IN