ProofVision

ProofVision overview

By default, all software supports multiple file extensions. ProofVision supports at least 1 different file extensions. The basic files that ProofVision supports are .PVJ. However, not all of the extensions listed on the list are always used to save the effects of work in ProofVision. Very often, files with such extensions are used as source data files used by ProofVision.

ProofVision can be used to convert file formats between the file extensions listed below. You can open a file with one of the file extensions below via ProofVision and try to save it in another file format, also supported by ProofVision.