Interactive Theorem Proving Inc
501C3 Nonprofit Organization Information
Download all available information for this organization plus form 990 pdf files to your computer, laptop, and phone.
Interactive Theorem Proving Inc
2537 Ne 25Th Ave
Portland, OR
97212-4839
Available with membership or
data download
83-4089866
Available with membership or
data download
$0
$0
$0
View contribution details with membership or
data download
View expense details with membership or
data download
John W Oleary
501(C)(3)
Computer Science
This organization is an independent organization or an independent auxiliary (i.e., not affiliated with a National, Regional, or Geographic grouping of organizations).
Contributions are deductible
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
12/2022
Download all available information for this organization plus form 990 pdf files to your computer, laptop, and phone.