Sponsors

From Openproofs

Revision as of 17:13, 23 July 2010 by DWheeler (Talk | contribs)
(diff) ← Older revision | Current revision (diff) | Newer revision → (diff)
Jump to: navigation, search

The OpenProofs.org site is available to all who are interested in the development of open proofs, but to make it happen, someone had to get it going.

Our thanks to the U.S. Office of the Assistant Secretary of Defense (Networks & Information Integration) (OASD(NII)) - Department of Defense (DoD) Chief Information Officer Office of the Assistant Secretary of Defense Intelligence and Information Assurance (CIO/ODASD(I&IA)), and in particular its Globalization Task Force leadership, who supported setting up the project including the website.

Personal tools