Index of jcenter/at/logic/gapt/gapt-examples_2.13

Name                       Last modified      Size

../
2.15.4/                     20-Mar-2023 14:55    -
2.16.0/                     20-Mar-2023 14:56    -
maven-metadata.xml          21-Jul-2022 08:38  373 bytes
maven-metadata.xml.sha512   31-May-2022 16:00  128 bytes