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	2022 (01/01/2022 - 12/31/2022)
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

Ignited Tech	Portland	OR
American Software Society	Mclean	VA
Dense Analysis	Spokane	WA
Youth Coding Workshops	Fremont	CA
Hackathon4kids, Swathika Ganesh	Santa Clara	CA
Gially Inc	Irvine	CA
Collegiate Cyber Defense Club Inc, Collegiate Cyber Defense Club	Orlando	FL
Code For Science And Society Inc	Portland	OR
Barefoot Foundation	Portland	OR
Plan 9 Foundation	Scappoose	OR