Alcohol gauging, blending, dilution and density-strength conversions. Work in Mass %, Volume % (ABV), Proof or Molar %. Data for -20C to 100C. Blend by mass or volume. Hydrometer correction calculator. Volume temperature correction. Freezing point.
PhotoFinder creates high-quality thumbnail images for all the photos on a hard drive. View at 50%, 100% or 200% to quickly review and locate photos. Use the printing feature to create high quality printed proof sheets.
A software tool that verifies your printed proofs to several ISO standards.
A proof printing tool that is absolutely easy to use.
Complete and performant digital color proofing RIP for Graphic Arts & Pre-press Professionals
HOL is a programming environment in which theorems can be proved and proof tools implemented.
Isabelle is a popular generic theorem prover developed at Cambridge University and TU Munich.