Standaard ondersteunt alle software meerdere bestandsextensies. ProofVision ondersteunt minimaal 1 verschillende bestandsextensies. De basisbestanden die ProofVision ondersteunt zijn .PVJ. Niet alle extensies in de lijst worden echter altijd gebruikt om de effecten van werk in ProofVision op te slaan. Heel vaak worden bestanden met dergelijke extensies gebruikt als brongegevensbestanden die worden gebruikt door ProofVision.
ProofVision kan worden gebruikt om bestandsformaten te converteren tussen de hieronder vermelde bestandsextensies. U kunt een bestand met een van de onderstaande bestandsextensies openen via ProofVision en proberen het op te slaan in een ander bestandsformaat, ook ondersteund door ProofVision.