ProofVision

Panoramica di ProofVision

Per impostazione predefinita, tutto il software supporta più estensioni di file. ProofVision supporta almeno 1 diverse estensioni di file. I file di base supportati da ProofVision sono .PVJ. Tuttavia, non tutte le estensioni elencate nell'elenco vengono sempre utilizzate per salvare gli effetti del lavoro in ProofVision. Molto spesso, i file con tali estensioni vengono utilizzati come file di dati di origine utilizzati da ProofVision.

ProofVision può essere utilizzato per convertire i formati di file tra le estensioni di file elencate di seguito. È possibile aprire un file con una delle estensioni di file di seguito tramite ProofVision e provare a salvarlo in un altro formato di file, supportato anche da ProofVision.