This repository has been archived on 2026-01-12. You can view files and clone it. You cannot open issues or pull requests or push a commit.

atusa17 8e894ba0a7 Initial Gradle commit with test properties, development properties, logging properties, lombok properties, and travis properties, and example Spring Boot classes and integration and unit tests

2019-02-01 22:12:38 -07:00

pandamonium-theorem-prover

Initial Gradle commit with test properties, development properties, logging properties, lombok properties, and travis properties, and example Spring Boot classes and integration and unit tests

2019-02-01 22:12:38 -07:00

Description

No description provided

3.2 MiB

Languages

Java 99.9%