![JAR search and dependency download from the Maven repository](/logo.png)
META-INF.MANIFEST.MF Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of gapt_3 Show documentation
Show all versions of gapt_3 Show documentation
General Architecture for Proof Theory
The newest version!
Manifest-Version: 1.0
Specification-Title: gapt
Specification-Version: 2.17.0
Specification-Vendor: at.logic.gapt
© 2015 - 2025 Weber Informatics LLC | Privacy Policy