Article by Dennis W. Jowers.

Professor of Mathematics, Princeton University. Mathematical logic, foundations of mathematics, bounded arithmetic, and automatic proof verification.

Over 3000 complete formal proofs deriving numbers and beyond from Zermelo-Fraenkel set theory axioms.

Including proof of the Moonshine Conjecture (TeX,DVI,PDF).

A group of non-profit Alberta, Canada ghost hunters, seeking out the proof behind hauntings and other paranormal phenomena.

Describes a theorem for finding an area of simple lattice polygons. Includes proof and Java applet simulation.

Features senior friendly sofas, chairs, glider rockers, lift chairs and loveseats with moisture proof fabrics.

Multi-purpose lubricant packaged in an explosion proof bottle.

… with man's innate nature. It is a religion based upon proof and not conjecture. Learn about the truth of Islam, the Qur'an and the Prophet Muhammad(peace be upon him).…

Offers an online catalog, disaster and emergency products including long-term dehydrated, freeze-dried foods, camping and survival gear.

Mildew-proof shower curtains in stripes, frosty and Victorian styles.

Manufacturer of AC drives and motors. Products include control panels, RFI filters and explosion proof systems. Repairs and recovery services available.

An attempted elementary proof.

Manufacturer of brass products like cable gland for fireproof, weather proof and armour cables and cable lugs.

Manufacturer and distributor of detection kits, gas masks, hoods, protective suits and bullet proof vest/jackets.

…; recent critique of Java Data Objects, David Jordan offers proof that JDO does not regard SQL as a bad thing, yields shorter and simpler code, and is vendor-neutral.…

Offer fire and burglary proof products. Company profile and contact information.

Water proof leashes for small and large pets.

Sales, service, parts and equipment leasing for the fast food industry: ice cream, yogurt and slush machines; Nieco broilers, Bar-b-que Boss, and broaster fryers.

Catechism with proof texts online.