4.0.0 at.logic.gapt gapt-examples_2.13 jar gapt-examples https://logic.at/gapt/ 2.16.0 GPL-3.0 http://www.gnu.org/licenses/gpl-3.0.html repo gapt-examples 2008 at.logic.gapt https://logic.at/gapt/ https://github.com/gapt/gapt scm:git:https://github.com/gapt/gapt.git scm:git:git@github.com:gapt/gapt.git jvierling Jannik Vierling https://jvierling.github.io/ jannik.vierling@gmail.com shetzl Stefan Hetzl http://dmg.tuwien.ac.at/hetzl/ stefan.hetzl@tuwien.ac.at gebner Gabriel Ebner https://gebner.org/ gebner@gebner.org org.scala-lang scala-library 2.13.8 at.logic.gapt gapt_2.13 2.16.0