Package org.episteme.core.mathematics.loaders.logic
package org.episteme.core.mathematics.loaders.logic
-
ClassDescriptionExporter for the Coq Proof Assistant.Importer for Coq Proof Assistant files (.v).Interface for exporting a logical system to an external formal verification tool.Interface for importing formal systems from external verification tools.Exception thrown when parsing fails.Exporter for Metamath.Importer for Metamath database files (.mm).Exporter for QEDEQ (Hilbert II).Importer for QEDEQ (Hilbert II) XML modules.