Package org.episteme.core.mathematics.loaders.logic

package org.episteme.core.mathematics.loaders.logic

Related Packages

Package	Description
org.episteme.core.mathematics.loaders
org.episteme.core.mathematics.loaders.mathml	Provides the invalid reference org.episteme.core.ml.mathml module.
org.episteme.core.mathematics.loaders.oeis	Comprehensive mathematical structures, including algebra, calculus, and numerical analysis.
org.episteme.core.mathematics.loaders.openmath	Provides the invalid reference org.episteme.core.ml.openmath module.

Class	Description
CoqExporter	Exporter for the Coq Proof Assistant.
CoqImporter	Importer for Coq Proof Assistant files (.v).
FormalSystemExporter	Interface for exporting a logical system to an external formal verification tool.
FormalSystemImporter	Interface for importing formal systems from external verification tools.
FormalSystemImporter.ParseException	Exception thrown when parsing fails.
MetamathExporter	Exporter for Metamath.
MetamathImporter	Importer for Metamath database files (.mm).
QedeqExporter	Exporter for QEDEQ (Hilbert II).
QedeqImporter	Importer for QEDEQ (Hilbert II) XML modules.